Make hiding the menu a bit friendlier, add suppressable popup explaining
how to re-show the menu, add more ways to show the menu besides <alt>