Re: [PATCH] non-free javascript in gnu web pages.

[Karl Berry]

    As the Gnu project is now taking a strong position in favour of
    librejs

The principle of free javascript is not a new position.

    I propose this patch to maintain.texi

FWIW, looks fine to me, except "javascript" should be spelled
"JavaScript".  rms?

--- maintain.texi       7 May 2015 19:33:01 -0000       1.253
+++ maintain.texi       9 Jul 2015 07:28:14 -0000
@@ -2109,10 +2109,15 @@
 and it will have the effect of granting legitimacy to the non-free
 program.
 
-If you use multiple sites, they should all follow that criterion.
+If you use javascript in your web pages, please ensure that the javascript
+is also free software, and that it contains license tags as described in
address@hidden://www.gnu.org/software/librejs/free-your-javascript.html} and
+make sure that LibreJS does not detect any page as non-free.
+
+If you use multiple sites, they should all follow the above criteria.
 Please don't link to a site that is about your package, which the
 public might perceive as connected with it and reflecting the position
-of its developers, unless it follows that criterion.
+of its developers, unless it follows these criteria.
 
 Historically, web pages for GNU packages did not include GIF images,
 because of patent problems (@pxref{Ethical and Philosophical