Gnome Shell extensions to track time spent on redmine issues