Simplifying docs HTML.