diff --git a/doc/master/adaptingman/Beginning-with-a-New-Prover.html b/doc/master/adaptingman/Beginning-with-a-New-Prover.html
index 52afb2f..918296f 100644
--- a/doc/master/adaptingman/Beginning-with-a-New-Prover.html
+++ b/doc/master/adaptingman/Beginning-with-a-New-Prover.html
@@ -258,7 +258,7 @@ <h2 class="section">1.3 Major modes used by Proof General</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Concept-Index.html b/doc/master/adaptingman/Concept-Index.html
index 4f2e508..512d5d9 100644
--- a/doc/master/adaptingman/Concept-Index.html
+++ b/doc/master/adaptingman/Concept-Index.html
@@ -141,7 +141,7 @@ <h1 class="unnumbered">Concept Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Editing-Syntax.html b/doc/master/adaptingman/Configuring-Editing-Syntax.html
index 963a3eb..828e389 100644
--- a/doc/master/adaptingman/Configuring-Editing-Syntax.html
+++ b/doc/master/adaptingman/Configuring-Editing-Syntax.html
@@ -86,7 +86,7 @@ <h1 class="chapter">9. Configuring Editing Syntax</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Font-Lock.html b/doc/master/adaptingman/Configuring-Font-Lock.html
index e809007..aa15981 100644
--- a/doc/master/adaptingman/Configuring-Font-Lock.html
+++ b/doc/master/adaptingman/Configuring-Font-Lock.html
@@ -104,7 +104,7 @@ <h1 class="chapter">10. Configuring Font Lock</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html b/doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html
index 4e2cbcc..6bc49d7 100644
--- a/doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html
+++ b/doc/master/adaptingman/Configuring-Proof_002dTree-Visualization.html
@@ -455,7 +455,7 @@ <h3 class="subsection">12.4.2 Prooftree Adaption</h3>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Configuring-Tokens.html b/doc/master/adaptingman/Configuring-Tokens.html
index ae4a044..a07b966 100644
--- a/doc/master/adaptingman/Configuring-Tokens.html
+++ b/doc/master/adaptingman/Configuring-Tokens.html
@@ -78,7 +78,7 @@ <h1 class="chapter">11. Configuring Tokens</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Demonstration-Instantiations.html b/doc/master/adaptingman/Demonstration-Instantiations.html
index a4b58a8..4939e4a 100644
--- a/doc/master/adaptingman/Demonstration-Instantiations.html
+++ b/doc/master/adaptingman/Demonstration-Instantiations.html
@@ -261,7 +261,7 @@ <h2 class="section">B.2 demoisa.el</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Function-Index.html b/doc/master/adaptingman/Function-Index.html
index a43a512..285d141 100644
--- a/doc/master/adaptingman/Function-Index.html
+++ b/doc/master/adaptingman/Function-Index.html
@@ -104,7 +104,7 @@ <h1 class="unnumbered">Function and Command Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Global-Constants.html b/doc/master/adaptingman/Global-Constants.html
index 446bb16..21599b2 100644
--- a/doc/master/adaptingman/Global-Constants.html
+++ b/doc/master/adaptingman/Global-Constants.html
@@ -55,7 +55,7 @@ <h1 class="chapter">7. Global Constants</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Goals-Buffer-Settings.html b/doc/master/adaptingman/Goals-Buffer-Settings.html
index 2d81386..4c45d3b 100644
--- a/doc/master/adaptingman/Goals-Buffer-Settings.html
+++ b/doc/master/adaptingman/Goals-Buffer-Settings.html
@@ -102,7 +102,7 @@ <h1 class="chapter">5. Goals Buffer Settings</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Handling-Multiple-Files.html b/doc/master/adaptingman/Handling-Multiple-Files.html
index 3349bae..527e502 100644
--- a/doc/master/adaptingman/Handling-Multiple-Files.html
+++ b/doc/master/adaptingman/Handling-Multiple-Files.html
@@ -190,7 +190,7 @@ <h1 class="chapter">8. Handling Multiple Files</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Internals-of-Proof-General.html b/doc/master/adaptingman/Internals-of-Proof-General.html
index e7cc748..51e363e 100644
--- a/doc/master/adaptingman/Internals-of-Proof-General.html
+++ b/doc/master/adaptingman/Internals-of-Proof-General.html
@@ -1256,7 +1256,7 @@ <h2 class="section">14.7 Debugging</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Introduction.html b/doc/master/adaptingman/Introduction.html
index 8fbac43..42f4fe2 100644
--- a/doc/master/adaptingman/Introduction.html
+++ b/doc/master/adaptingman/Introduction.html
@@ -121,7 +121,7 @@ <h2 class="unnumberedsec">Credits</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Menus-and-Toolbar-and-User_002dlevel-Commands.html b/doc/master/adaptingman/Menus-and-Toolbar-and-User_002dlevel-Commands.html
index 659a92f..b734a13 100644
--- a/doc/master/adaptingman/Menus-and-Toolbar-and-User_002dlevel-Commands.html
+++ b/doc/master/adaptingman/Menus-and-Toolbar-and-User_002dlevel-Commands.html
@@ -179,7 +179,7 @@ <h2 class="section">2.3 Toolbar configuration</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/PG-adapting_abt.html b/doc/master/adaptingman/PG-adapting_abt.html
index b8f7e3a..7c94161 100644
--- a/doc/master/adaptingman/PG-adapting_abt.html
+++ b/doc/master/adaptingman/PG-adapting_abt.html
@@ -14,7 +14,7 @@
 </div>
 <h1>About This Document</h1>
 <p>
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
 </p>
 <p>
   The buttons in the navigation panels have the following meaning:
@@ -124,7 +124,7 @@ <h1>About This Document</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/PG-adapting_toc.html b/doc/master/adaptingman/PG-adapting_toc.html
index ca661ee..5437541 100644
--- a/doc/master/adaptingman/PG-adapting_toc.html
+++ b/doc/master/adaptingman/PG-adapting_toc.html
@@ -130,7 +130,7 @@ <h1>Table of Contents</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Plans-and-Ideas.html b/doc/master/adaptingman/Plans-and-Ideas.html
index 13743dd..ff59320 100644
--- a/doc/master/adaptingman/Plans-and-Ideas.html
+++ b/doc/master/adaptingman/Plans-and-Ideas.html
@@ -167,7 +167,7 @@ <h2 class="section">A.3 Browser mode for script files and theories</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Proof-Script-Settings.html b/doc/master/adaptingman/Proof-Script-Settings.html
index 87aeda7..4a40ae6 100644
--- a/doc/master/adaptingman/Proof-Script-Settings.html
+++ b/doc/master/adaptingman/Proof-Script-Settings.html
@@ -913,7 +913,7 @@ <h2 class="section">3.12 Completions</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Proof-Shell-Settings.html b/doc/master/adaptingman/Proof-Shell-Settings.html
index 623b632..510eb2f 100644
--- a/doc/master/adaptingman/Proof-Shell-Settings.html
+++ b/doc/master/adaptingman/Proof-Shell-Settings.html
@@ -748,7 +748,7 @@ <h2 class="section">4.5 Hooks and other settings</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Splash-Screen-Settings.html b/doc/master/adaptingman/Splash-Screen-Settings.html
index 7375d36..80dd67f 100644
--- a/doc/master/adaptingman/Splash-Screen-Settings.html
+++ b/doc/master/adaptingman/Splash-Screen-Settings.html
@@ -55,7 +55,7 @@ <h1 class="chapter">6. Splash Screen Settings</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Variable-Index.html b/doc/master/adaptingman/Variable-Index.html
index d02da25..39fd770 100644
--- a/doc/master/adaptingman/Variable-Index.html
+++ b/doc/master/adaptingman/Variable-Index.html
@@ -236,7 +236,7 @@ <h1 class="unnumbered">Variable and User Option Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/Writing-More-Lisp-Code.html b/doc/master/adaptingman/Writing-More-Lisp-Code.html
index 30451bb..c157f2d 100644
--- a/doc/master/adaptingman/Writing-More-Lisp-Code.html
+++ b/doc/master/adaptingman/Writing-More-Lisp-Code.html
@@ -248,7 +248,7 @@ <h2 class="section">13.4 Useful functions and macros</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/adaptingman/index.html b/doc/master/adaptingman/index.html
index 0749550..f24e9a1 100644
--- a/doc/master/adaptingman/index.html
+++ b/doc/master/adaptingman/index.html
@@ -80,7 +80,7 @@ <h1 class="settitle">Proof General</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Advanced-Script-Management-and-Editing.html b/doc/master/userman/Advanced-Script-Management-and-Editing.html
index f16b158..d69fd1e 100644
--- a/doc/master/userman/Advanced-Script-Management-and-Editing.html
+++ b/doc/master/userman/Advanced-Script-Management-and-Editing.html
@@ -692,7 +692,7 @@ <h2 class="section">3.11 Editing features</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Basic-Script-Management.html b/doc/master/userman/Basic-Script-Management.html
index b437308..2e6b08c 100644
--- a/doc/master/userman/Basic-Script-Management.html
+++ b/doc/master/userman/Basic-Script-Management.html
@@ -1109,7 +1109,7 @@ <h2 class="section">2.9 Interrupting during trace output</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Bugs-and-Enhancements.html b/doc/master/userman/Bugs-and-Enhancements.html
index 3bf5ab1..0c1221f 100644
--- a/doc/master/userman/Bugs-and-Enhancements.html
+++ b/doc/master/userman/Bugs-and-Enhancements.html
@@ -50,7 +50,7 @@ <h1 class="appendix">B. Bugs and Enhancements</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Concept-Index.html b/doc/master/userman/Concept-Index.html
index 1d61ad0..dc8c161 100644
--- a/doc/master/userman/Concept-Index.html
+++ b/doc/master/userman/Concept-Index.html
@@ -180,8 +180,8 @@ <h1 class="unnumbered">Concept Index</h1>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Basic-Script-Management#index-proof-script-mode">proof script mode</a></td><td valign="top"><a href="/doc/master/userman/Basic-Script-Management#Script-buffers">2.3 Script buffers</a></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Advanced-Script-Management-and-Editing#index-Proof-status-statistic">Proof status statistic</a></td><td valign="top"><a href="/doc/master/userman/Advanced-Script-Management-and-Editing#Proof-status-statistic">3.8 Proof status statistic</a></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#index-Proof-using">Proof using</a></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#Proof-using-annotations">10.3 Proof using annotations</a></td></tr>
-<tr><td></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#index-Proof_002dTree-visualization">Proof-Tree visualization</a></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#Proof_002dTree-Visualization">10.11 Proof-Tree Visualization</a></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Graphical-Proof_002dTree-Visualization#index-proof_002dtree-visualization">proof-tree visualization</a></td><td valign="top"><a href="/doc/master/userman/Graphical-Proof_002dTree-Visualization#Graphical-Proof_002dTree-Visualization">7. Graphical Proof-Tree Visualization</a></td></tr>
+<tr><td></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#index-Proof_002dTree-visualization">Proof-Tree visualization</a></td><td valign="top"><a href="/doc/master/userman/Coq-Proof-General#Proof_002dTree-Visualization">10.11 Proof-Tree Visualization</a></td></tr>
 <tr><td colspan="3"> <hr></td></tr>
 <tr><th><a class="anchor" id="Concept-Index-1_cp_letter-Q">Q</a></th><td></td><td></td></tr>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#index-Query-program-name">Query program name</a></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#User-options">8.4 User options</a></td></tr>
@@ -286,7 +286,7 @@ <h1 class="unnumbered">Concept Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Coq-Proof-General.html b/doc/master/userman/Coq-Proof-General.html
index e213bd0..52a28f8 100644
--- a/doc/master/userman/Coq-Proof-General.html
+++ b/doc/master/userman/Coq-Proof-General.html
@@ -1336,7 +1336,7 @@ <h2 class="section">10.13 Opam-switch-mode support</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Customizing-Proof-General.html b/doc/master/userman/Customizing-Proof-General.html
index b3cf9e1..dd8c0c1 100644
--- a/doc/master/userman/Customizing-Proof-General.html
+++ b/doc/master/userman/Customizing-Proof-General.html
@@ -778,7 +778,7 @@ <h2 class="section">8.6 Tweaking configuration settings</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/EasyCrypt-Proof-General.html b/doc/master/userman/EasyCrypt-Proof-General.html
index 6b31c6e..d393299 100644
--- a/doc/master/userman/EasyCrypt-Proof-General.html
+++ b/doc/master/userman/EasyCrypt-Proof-General.html
@@ -101,7 +101,7 @@ <h2 class="section">11.3 EasyCrypt customizations</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Function-Index.html b/doc/master/userman/Function-Index.html
index c830927..fac415e 100644
--- a/doc/master/userman/Function-Index.html
+++ b/doc/master/userman/Function-Index.html
@@ -140,7 +140,7 @@ <h1 class="unnumbered">Function and Command Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Graphical-Proof_002dTree-Visualization.html b/doc/master/userman/Graphical-Proof_002dTree-Visualization.html
index cbbf138..e9f8e3d 100644
--- a/doc/master/userman/Graphical-Proof_002dTree-Visualization.html
+++ b/doc/master/userman/Graphical-Proof_002dTree-Visualization.html
@@ -152,7 +152,7 @@ <h2 class="section">7.3 Prooftree Customization</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Hints-and-Tips.html b/doc/master/userman/Hints-and-Tips.html
index 8f413ff..cc6b6fa 100644
--- a/doc/master/userman/Hints-and-Tips.html
+++ b/doc/master/userman/Hints-and-Tips.html
@@ -211,7 +211,7 @@ <h2 class="section">9.3 Using abbreviations</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/History-of-Proof-General.html b/doc/master/userman/History-of-Proof-General.html
index f715971..3b7f35c 100644
--- a/doc/master/userman/History-of-Proof-General.html
+++ b/doc/master/userman/History-of-Proof-General.html
@@ -379,7 +379,7 @@ <h2 class="unnumberedsec">Old News for 3.7</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Introducing-Proof-General.html b/doc/master/userman/Introducing-Proof-General.html
index 5520836..07ef868 100644
--- a/doc/master/userman/Introducing-Proof-General.html
+++ b/doc/master/userman/Introducing-Proof-General.html
@@ -351,7 +351,7 @@ <h2 class="section">1.6 Organization of this manual</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Keystroke-Index.html b/doc/master/userman/Keystroke-Index.html
index f26fc9a..7fea18f 100644
--- a/doc/master/userman/Keystroke-Index.html
+++ b/doc/master/userman/Keystroke-Index.html
@@ -77,7 +77,7 @@ <h1 class="unnumbered">Keystroke Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Obtaining-and-Installing.html b/doc/master/userman/Obtaining-and-Installing.html
index 303afa9..96f78f0 100644
--- a/doc/master/userman/Obtaining-and-Installing.html
+++ b/doc/master/userman/Obtaining-and-Installing.html
@@ -187,7 +187,7 @@ <h3 class="unnumberedsubsec">Removing support for unwanted provers</h3>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Preface.html b/doc/master/userman/Preface.html
index 378b4a1..a1f2b12 100644
--- a/doc/master/userman/Preface.html
+++ b/doc/master/userman/Preface.html
@@ -322,7 +322,7 @@ <h2 class="unnumberedsec">Credits</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/ProofGeneral_22.html b/doc/master/userman/ProofGeneral_22.html
index 34c0a69..8364467 100644
--- a/doc/master/userman/ProofGeneral_22.html
+++ b/doc/master/userman/ProofGeneral_22.html
@@ -154,7 +154,7 @@ <h1 class="unnumbered">Concept Index: U &ndash; X</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/ProofGeneral_abt.html b/doc/master/userman/ProofGeneral_abt.html
index 907c015..c8a10ad 100644
--- a/doc/master/userman/ProofGeneral_abt.html
+++ b/doc/master/userman/ProofGeneral_abt.html
@@ -14,7 +14,7 @@
 </div>
 <h1>About This Document</h1>
 <p>
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
 </p>
 <p>
   The buttons in the navigation panels have the following meaning:
@@ -124,7 +124,7 @@ <h1>About This Document</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/ProofGeneral_fot.html b/doc/master/userman/ProofGeneral_fot.html
index 18f6941..6cff3f0 100644
--- a/doc/master/userman/ProofGeneral_fot.html
+++ b/doc/master/userman/ProofGeneral_fot.html
@@ -51,7 +51,7 @@ <h3><a id="FOOT1" href="/doc/master/userman/Introducing-Proof-General#DOCF1">(1)
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/ProofGeneral_toc.html b/doc/master/userman/ProofGeneral_toc.html
index bea725e..e9fe4ac 100644
--- a/doc/master/userman/ProofGeneral_toc.html
+++ b/doc/master/userman/ProofGeneral_toc.html
@@ -192,7 +192,7 @@ <h1>Table of Contents</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/References.html b/doc/master/userman/References.html
index 8bdce6b..81fc316 100644
--- a/doc/master/userman/References.html
+++ b/doc/master/userman/References.html
@@ -64,7 +64,7 @@ <h1 class="unnumbered">References</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Shell-Proof-General.html b/doc/master/userman/Shell-Proof-General.html
index eba603b..7b5dad1 100644
--- a/doc/master/userman/Shell-Proof-General.html
+++ b/doc/master/userman/Shell-Proof-General.html
@@ -60,7 +60,7 @@ <h1 class="chapter">12. Shell Proof General</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Subterm-Activation-and-Proof-by-Pointing.html b/doc/master/userman/Subterm-Activation-and-Proof-by-Pointing.html
index 841371c..92ad3c3 100644
--- a/doc/master/userman/Subterm-Activation-and-Proof-by-Pointing.html
+++ b/doc/master/userman/Subterm-Activation-and-Proof-by-Pointing.html
@@ -124,7 +124,7 @@ <h2 class="section">6.1 Goals buffer commands</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Support-for-other-Packages.html b/doc/master/userman/Support-for-other-Packages.html
index d0146cf..c505e61 100644
--- a/doc/master/userman/Support-for-other-Packages.html
+++ b/doc/master/userman/Support-for-other-Packages.html
@@ -271,7 +271,7 @@ <h2 class="section">5.5 Support for tags</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Unicode-symbols-and-special-layout-support.html b/doc/master/userman/Unicode-symbols-and-special-layout-support.html
index 641f7e9..9108107 100644
--- a/doc/master/userman/Unicode-symbols-and-special-layout-support.html
+++ b/doc/master/userman/Unicode-symbols-and-special-layout-support.html
@@ -454,7 +454,7 @@ <h2 class="section">4.7 Selecting suitable fonts</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/Variable-Index.html b/doc/master/userman/Variable-Index.html
index 92f487a..4c2584f 100644
--- a/doc/master/userman/Variable-Index.html
+++ b/doc/master/userman/Variable-Index.html
@@ -125,7 +125,7 @@ <h1 class="unnumbered">Variable and User Option Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>
 
diff --git a/doc/master/userman/index.html b/doc/master/userman/index.html
index d77d978..c559188 100644
--- a/doc/master/userman/index.html
+++ b/doc/master/userman/index.html
@@ -78,7 +78,7 @@ <h1 class="settitle">Proof General</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>June 19, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>July 6, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>