Lots more small improvements before making this publicly available, including a major update now I know that Gnome 3.10 is the reason more recent Linux distributions don't work.