In late 2019, I moved all the content here to notes.kemitchell.com, which also has notes on other kinds of works.