What is done for readability

No meaning here rests on colour by itself. Links are underlined or otherwise distinguishable, headings are real heading elements rather than large text, and lists are real lists.

Changes to this page

Updates appear on this page and are not sent out separately. The date at the top records when this text was last set.

Reporting a problem

Write to [email protected] with any question about anything here that is hard to read.