Issue #4: Undo underscore escaping in the doc.