Fix patch to work around HTMLScrubber, and add a potential documentation page