A new global menu extension for GNOME Shell was released this week, and unlike ones you may might tried (and given up on) in ...