Yes, sure, they're using Linux within a virtual machine (WSL2).