Install WSL2, do everything development under WSL2. It works very well. It even has x server forwarding now, and supports CUDA. No need for docker, simply use VSCode and the Remote SSH extension works natively with WSL2.
Just make sure to get at least 32gb of ram (most windows laptops you can upgrade the ram).
And I think laptops with 32gb of RAM are too expensive for me.
Having said that my attempt to bear a corporate windows on a corporate laptop with WSL2 was terrible and I ended up installing linux on it and using the online version of office 365. I would run Linux as a host OS and a windows VM for anything specific to windows. There are ways to share filesystems nowadays.
ram is cheap. brand new things are too expensive. check ebay.
Whenever you wanna develop, just launch VSCode.
Once you are done with school, just install linux in it fully.
I was talking about Thinkpad X13 Gen 4, but yours seems to be better in terms of cost. I don’t really like numerical pads, though.