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.