https://ksfboa.com/tech/jacki/2-methods-to-reset-windows-terminal-to-default-settings.html