The require.js script then loads the require.js application they've written here: https://extensions.gnome.org/static/js/main.js (this is just one of the 20 or so files that were loaded in my browser). There's no license notice on these files, but we could get the developers of extensions.gnome.org to clarify the license of these files.

Reply via email to