JavaScript license information

File License Source
/plus.js GNU-GPL-3.0-or-later (already in source code form)
/header.js GNU-GPL-3.0-or-later (already in source code form)

All other JavaScript code on this site is also free software, licensed under the GNU GPL v3.0.

All JavaScript from this site is sent to your web browser in source (unobfuscated) form. However, LibreJS is a pain, and so all inline JavaScript on this site is not declared as free software in a format readable by LibreJS. If you use LibreJS, you should manually whitelist this website to make it function properly.

Core navigation features have been moved to external files and been declared free software by this page, allowing LibreJS users to at least use the header bar to navigate around the site.