Switch to a headerdoc-compatible doc format.