https://worldofsoftware.org/how-to-change-your-default-web-browser/