Part 4 - Extras
Section 1 - Footnotes
[Once there were footnotes, using Stephen Granade's Footnotes extension. But I took them out. Most of what I wanted to explain seemed much better placed as comments in the source, where it wouldn't spoil anything that wasn't being spoiled anyway.]