gnome-shell/subprojects/extensions-app/js/gnome-extensions-app.in