https://blogmines.com/how-to-unhide-menu-bar-in-safari/