We now avoid batch-compiling the bodies of much of the documentation infastructure. The HTML string literals caused some rather noticable overhead in executable size.