Last updated: 2018/05/15

Document history (since 2018/05/12)

For a list of changes in each subdomain please see the index page for each of the subdomains; I try to keep all the indices updated but it's entirely possible this won't remain true by accident.