A Messaging Menu for the Gnome Shell