Hello,
I've recently been aware of the LibreJS project. As I was reading
the page "Setting your _javascript_ free" at https://www.gnu.org/software/librejs/free-your-_javascript_.html,
I could see that this page is not LibreJS compliant. Responsible
for that is a prettify.js script, as you can see in this
screenshot:
Could you please consider fixing this?
Regards,
Jonas
