https://wwtyrd.com/tech/romaine/how-to-change-your-default-browser-in-macos/