update other entry HTML files

Ran `make gen_other_html` to perform the above.
2024-04-21 21:09:03 -07:00
1 parent 0eb5e37c12
commit 37606f2f6b
@@ -334,6 +334,8 @@ the other part of the question up to the reader to answer. Hint: you already
 know how it works (yes, really you do)! Another hint: This is and is not a
 misleading comment (conversely this makes this hint both misleading - and
 also not).</p>
+<hr style="width:10%;text-align:left;margin-left:0">
+<p>Jump to: <a href="#">top</a></p>
 <!--

    Copyright © 1984-2024 by Landon Curt Noll. All Rights Reserved.