This document has moved here.
I tried very hard to work with Google Docs and make a publishable, editable, indexable, document. But eventually I gave up and moved the thing and quit trying. Maybe Google’s tech support will get back to me someday, after Google gets around to creating a tech support offering, which won’t happen until they figure out how to conquer ad-supported tech support. What Google really wants is self-driving tech-support because then there’s another class of people that won’t have to get up every morning and go to work and get paid and buy shoes for their kids.