Calling `generateInstrumentedHTML()` here doesn't do any good since the generated content isn't cached, and wouldn't be used here. The `request` handler will call `generateInstrumentedHTML()` when the document is reloaded into the browser. The important thing is to mark the text before it gets edited.