* Add linked table of contents
* <cite> some terms
* <code> some paths
* Replace with CSS
* Brushes no longer limited to max 40x40 pixels in size
* Mac OS X is now macOS
* Other misc improvements
See "RELEASE.txt" for the invocation. Mended a few things prior
to final run of `tidy`, based on HTML Tidy's output.
Updated any affected TXT files via Makefile.
Documenting Mark Kim's recent changes:
* Less CPU-hungry progress bar (during Stamp loading)
* Verbose debugging options
* (Also, mentioned debugging _at all_, in INSTALL.txt)
Bumping version to 0.9.23a, to match the test build he's working
on for macOS.
