Gnome 3 shell extension to modify the message tray behavior.