version sync with extensions.gnome.org