Friday, August 11
12:18 a.m.
All right, so I was wrong. The book is not quite done, because I still have to fiddle with the margins and I'm afraid of what might happen if I tried to understand the way this actually works in LaTeX in my present state of exhaustion. Soonish.
7:04 p.m.
Ok, it's done.