A GNOME Shell extension for Tomboy notes