diff --git a/doc/master/adaptingman/Beginning-with-a-New-Prover.html b/doc/master/adaptingman/Beginning-with-a-New-Prover.html
index ae95bee..fc6f067 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 98c8a53..4f9dd88 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 4c586b6..b1bd53c 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 8219bc0..deb04a4 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 265a141..b314a75 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 b9ef7f8..7acaea5 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 cac5781..f964cd9 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 98d8c5c..40358e5 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 bf6f46c..ff5e3aa 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 125d921..4a002eb 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 5e3de90..43eb30d 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 09644dc..1d0c656 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 7615369..006461c 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 103f458..4f6aa2f 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 42289ba..a97141a 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 aaa28fe..80633b1 100644
--- a/doc/master/adaptingman/PG-adapting_toc.html
+++ b/doc/master/adaptingman/PG-adapting_toc.html
@@ -129,7 +129,7 @@ <h1>Table of Contents</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 339f484..ea6e0d7 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 203f125..3ed2936 100644
--- a/doc/master/adaptingman/Proof-Script-Settings.html
+++ b/doc/master/adaptingman/Proof-Script-Settings.html
@@ -843,7 +843,7 @@ <h2 class="section">3.11 Completions</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 6c0912c..e814fbd 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 8fdb148..37efd74 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 867ad06..434fd94 100644
--- a/doc/master/adaptingman/Variable-Index.html
+++ b/doc/master/adaptingman/Variable-Index.html
@@ -233,7 +233,7 @@ <h1 class="unnumbered">Variable and User Option Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 c396246..6acf2d7 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 565a0a4..2ae4c8b 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 020e1a7..01a5d75 100644
--- a/doc/master/userman/Advanced-Script-Management-and-Editing.html
+++ b/doc/master/userman/Advanced-Script-Management-and-Editing.html
@@ -550,7 +550,7 @@ <h2 class="section">3.10 Editing features</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 615203b..55b860d 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 5649491..bee9758 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 bcaeda1..6ef3856 100644
--- a/doc/master/userman/Concept-Index.html
+++ b/doc/master/userman/Concept-Index.html
@@ -179,8 +179,8 @@ <h1 class="unnumbered">Concept Index</h1>
 <tr><td></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#index-Proof-script-indentation">Proof script indentation</a></td><td valign="top"><a href="/doc/master/userman/Customizing-Proof-General#User-options">8.4 User options</a></td></tr>
 <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/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.10 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.10 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>
@@ -285,7 +285,7 @@ <h1 class="unnumbered">Concept Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 1414765..905e166 100644
--- a/doc/master/userman/Coq-Proof-General.html
+++ b/doc/master/userman/Coq-Proof-General.html
@@ -1312,7 +1312,7 @@ <h2 class="section">10.12 Opam-switch-mode support</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 f81f298..83f4073 100644
--- a/doc/master/userman/Customizing-Proof-General.html
+++ b/doc/master/userman/Customizing-Proof-General.html
@@ -774,7 +774,7 @@ <h2 class="section">8.6 Tweaking configuration settings</h2>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 770dab3..24f7229 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 02e2584..e3ddadb 100644
--- a/doc/master/userman/Function-Index.html
+++ b/doc/master/userman/Function-Index.html
@@ -138,7 +138,7 @@ <h1 class="unnumbered">Function and Command Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 22726a2..bd11221 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 e04754e..6013160 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 248ffa4..78ea407 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 1efe216..0c15a08 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 b0b9044..7b8da9e 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 4fa2c9f..28bb7f0 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 fb4c5a4..f8df284 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 5b3fb78..eb137ba 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 550e37e..8096b21 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 27e51cc..2548551 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 6fcb02b..d768bb2 100644
--- a/doc/master/userman/ProofGeneral_toc.html
+++ b/doc/master/userman/ProofGeneral_toc.html
@@ -190,7 +190,7 @@ <h1>Table of Contents</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 6ec159c..526bad6 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 e5d014f..4e3f589 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 07e2fae..7eaa631 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 eae71bf..37f3a3b 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 ee98b3a..6c501a6 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 18f6df3..81d3ae8 100644
--- a/doc/master/userman/Variable-Index.html
+++ b/doc/master/userman/Variable-Index.html
@@ -123,7 +123,7 @@ <h1 class="unnumbered">Variable and User Option Index</h1>
 </div>
 <p>
  <font size="-1">
-  This document was generated on <i>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 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 af9bc4a..27b1f1f 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>February 23, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
+  This document was generated on <i>March 5, 2024</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  </font>
  <br>