One note about the second one. Because the menu is displayed too low, it sometimes happen that simply clicking on the main menu ends up selecting "Quit" (which is the first element) at the same time. Quite annoying. -- Autohide bugs https://launchpad.net/bugs/48226