12 files changed, 50 insertions, 50 deletions
diff --git a/doc/manual/html_node/Disclaimer.html b/doc/manual/html_node/Disclaimer.html
index 5bd7c23..4869db4 100644
--- a/doc/manual/html_node/Disclaimer.html
+++ b/doc/manual/html_node/Disclaimer.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Disclaimer</title>
+<title>GNU LibreJS 6.0.9: Disclaimer</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Disclaimer">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Disclaimer">
+<meta name="description" content="GNU LibreJS 6.0.9: Disclaimer">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Disclaimer">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/Free-Licenses-Detection.html b/doc/manual/html_node/Free-Licenses-Detection.html
index d4dfe90..bc815e6 100644
--- a/doc/manual/html_node/Free-Licenses-Detection.html
+++ b/doc/manual/html_node/Free-Licenses-Detection.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Free Licenses Detection</title>
+<title>GNU LibreJS 6.0.9: Free Licenses Detection</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Free Licenses Detection">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Free Licenses Detection">
+<meta name="description" content="GNU LibreJS 6.0.9: Free Licenses Detection">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Free Licenses Detection">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/GNU-Free-Documentation-License.html b/doc/manual/html_node/GNU-Free-Documentation-License.html
index ce15ded..93ff92a 100644
--- a/doc/manual/html_node/GNU-Free-Documentation-License.html
+++ b/doc/manual/html_node/GNU-Free-Documentation-License.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: GNU Free Documentation License</title>
+<title>GNU LibreJS 6.0.9: GNU Free Documentation License</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: GNU Free Documentation License">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: GNU Free Documentation License">
+<meta name="description" content="GNU LibreJS 6.0.9: GNU Free Documentation License">
+<meta name="keywords" content="GNU LibreJS 6.0.9: GNU Free Documentation License">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/How-to-Use.html b/doc/manual/html_node/How-to-Use.html
index be98a6c..4a5349f 100644
--- a/doc/manual/html_node/How-to-Use.html
+++ b/doc/manual/html_node/How-to-Use.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: How to Use</title>
+<title>GNU LibreJS 6.0.9: How to Use</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: How to Use">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: How to Use">
+<meta name="description" content="GNU LibreJS 6.0.9: How to Use">
+<meta name="keywords" content="GNU LibreJS 6.0.9: How to Use">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/Installation-Requirements.html b/doc/manual/html_node/Installation-Requirements.html
index af5318c..6dfcafc 100644
--- a/doc/manual/html_node/Installation-Requirements.html
+++ b/doc/manual/html_node/Installation-Requirements.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Installation Requirements</title>
+<title>GNU LibreJS 6.0.9: Installation Requirements</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Installation Requirements">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Installation Requirements">
+<meta name="description" content="GNU LibreJS 6.0.9: Installation Requirements">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Installation Requirements">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/Installation.html b/doc/manual/html_node/Installation.html
index 7e3edf8..7d1ce0e 100644
--- a/doc/manual/html_node/Installation.html
+++ b/doc/manual/html_node/Installation.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Installation</title>
+<title>GNU LibreJS 6.0.9: Installation</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Installation">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Installation">
+<meta name="description" content="GNU LibreJS 6.0.9: Installation">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Installation">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/JavaScript-Detection.html b/doc/manual/html_node/JavaScript-Detection.html
index 9c133d2..54333df 100644
--- a/doc/manual/html_node/JavaScript-Detection.html
+++ b/doc/manual/html_node/JavaScript-Detection.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: JavaScript Detection</title>
+<title>GNU LibreJS 6.0.9: JavaScript Detection</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: JavaScript Detection">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: JavaScript Detection">
+<meta name="description" content="GNU LibreJS 6.0.9: JavaScript Detection">
+<meta name="keywords" content="GNU LibreJS 6.0.9: JavaScript Detection">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/LibreJS-Internals.html b/doc/manual/html_node/LibreJS-Internals.html
index 37e0d14..90081d3 100644
--- a/doc/manual/html_node/LibreJS-Internals.html
+++ b/doc/manual/html_node/LibreJS-Internals.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: LibreJS Internals</title>
+<title>GNU LibreJS 6.0.9: LibreJS Internals</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: LibreJS Internals">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: LibreJS Internals">
+<meta name="description" content="GNU LibreJS 6.0.9: LibreJS Internals">
+<meta name="keywords" content="GNU LibreJS 6.0.9: LibreJS Internals">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/Overview.html b/doc/manual/html_node/Overview.html
index 848365f..62f0ed7 100644
--- a/doc/manual/html_node/Overview.html
+++ b/doc/manual/html_node/Overview.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Overview</title>
+<title>GNU LibreJS 6.0.9: Overview</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Overview">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Overview">
+<meta name="description" content="GNU LibreJS 6.0.9: Overview">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Overview">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/Setting-Your-JavaScript-Free.html b/doc/manual/html_node/Setting-Your-JavaScript-Free.html
index 5a9ef15..f1a255a 100644
--- a/doc/manual/html_node/Setting-Your-JavaScript-Free.html
+++ b/doc/manual/html_node/Setting-Your-JavaScript-Free.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Setting Your JavaScript Free</title>
+<title>GNU LibreJS 6.0.9: Setting Your JavaScript Free</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Setting Your JavaScript Free">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Setting Your JavaScript Free">
+<meta name="description" content="GNU LibreJS 6.0.9: Setting Your JavaScript Free">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Setting Your JavaScript Free">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/Tests.html b/doc/manual/html_node/Tests.html
index 34ab2c7..d8986b7 100644
--- a/doc/manual/html_node/Tests.html
+++ b/doc/manual/html_node/Tests.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Tests</title>
+<title>GNU LibreJS 6.0.9: Tests</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Tests">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Tests">
+<meta name="description" content="GNU LibreJS 6.0.9: Tests">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Tests">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
diff --git a/doc/manual/html_node/index.html b/doc/manual/html_node/index.html
index c7594b6..2e99f38 100644
--- a/doc/manual/html_node/index.html
+++ b/doc/manual/html_node/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
-<!-- This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015),
+<!-- This manual is for GNU LibreJS (version 6.0.9, 16 June 2015),
 a GNU IceCat extension to detect and block nonfree nontrivial
 JavaScript on webpages.
 
@@ -14,10 +14,10 @@ Texts.  A copy of the license is included in the section entitled
 "GNU Free Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <head>
-<title>GNU LibreJS 6.0.9.20150616: Top</title>
+<title>GNU LibreJS 6.0.9: Top</title>
 
-<meta name="description" content="GNU LibreJS 6.0.9.20150616: Top">
-<meta name="keywords" content="GNU LibreJS 6.0.9.20150616: Top">
+<meta name="description" content="GNU LibreJS 6.0.9: Top">
+<meta name="keywords" content="GNU LibreJS 6.0.9: Top">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
@@ -59,7 +59,7 @@ ul.no-bullet {list-style: none}
 </head>
 
 <body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
-<h1 class="settitle" align="center">GNU LibreJS 6.0.9.20150616</h1>
+<h1 class="settitle" align="center">GNU LibreJS 6.0.9</h1>
 
 
 
@@ -120,7 +120,7 @@ Next: <a href="Overview.html#Overview" accesskey="n" rel="next">Overview</a>, Up
 <hr>
 <a name="LibreJS"></a>
 <h1 class="top">LibreJS</h1>
-<p>This manual is for GNU LibreJS (version 6.0.9.20150616, 16 June 2015).
+<p>This manual is for GNU LibreJS (version 6.0.9, 16 June 2015).
 </p>
 <table class="menu" border="0" cellspacing="0">
 <tr><td align="left" valign="top">&bull; <a href="Overview.html#Overview" accesskey="1">Overview</a>:</td><td>&nbsp;&nbsp;</td><td align="left" valign="top">General purpose and information.