https://winaero.com/remove-open-linux-shell-menu-windows-10/