A GNOME Shell extension for configuring Fedmsg desktop notifications