Finally we found the time for some major bugfixing. This is also the preparation of the release to extensions.gnome.org.
