Page history
19 September 2023
28 April 2022
13 May 2021
11 February 2021
24 November 2020
27 August 2020
22 August 2020
Turns out Bookmarks visible online in Firefox, not Chrome
m−6
small change in description
+38
Version of the 1982 xref document with convenient bookmarks, description changed
+131