Quickly reviewed other plusXX.html pages, only plus74.html seems to omit it.
Index: plus74.html =================================================================== RCS file: /cvs/www/plus74.html,v diff -u -p -r1.3 plus74.html --- plus74.html 4 Oct 2023 15:06:06 -0000 1.3 +++ plus74.html 10 Apr 2024 04:31:28 -0000 @@ -91,6 +91,7 @@ For changes in other releases, click bel <a href="plus71.html">7.1</a>, <a href="plus72.html">7.2</a>, <a href="plus73.html">7.3</a>, +<a href="plus75.html">7.5</a>, <a href="plus.html">current</a>. <br>
