https://digitalixy.com/tech/maude/advantages-of-wsl-vs-dual-booting-for-running-windows-and-linux/