A severely breaking documentation-related commit.

I do endeavour to avoid breaking commits. Sadly, this commit has gone on
for quite some time with no working solution in sight. In the admittedly
selfish interests of self-preservation, it thus goes in now!