> and is so close to feature parity That was not my experience with WSL1; I was regularly running into unimplemented features. Some examples: the Z3 solver u

> and is so close to feature parity That was not my experience with WSL1; I was regularly running into unimplemented features. Some examples: the Z3 solver used clock_gettime for timeouts, and their specific usage was broken in WSL1 so you'd get random failures depending on how long the solve took. And don't get me started on running Chromium. It felt like WSL1 would be running into the long tail of compatibility issues for years. But I'll admit that I don't try to use it the way you do, I run WSL precisely so I'll never have to launch cmd.exe.