Gnome Shell extensions to time track redmine issues