4 ms·

I gave that a try, then I decided to use devcontainers instead, and I find that better, for the reasons you mentioned.