Fix Windows 10 terminals, use a Linux terminal with WSL

WSL makes Windows a better development platform than Macs. You get better unix toolage, and you get it in a sandbox that doesn’t infect your regular desktop environment when you’re doing everything else.