Gnome shell extension to manage rtm like todo list