https://winaero.com/change-default-terminal-application-in-windows-10/