This is a newly revised edition, as amended through February 7, 2023.
Books are printed using fonts of 10 points in size and the text is printed in 1 column.