Simple todo list extension for gnome-shell