Use HTML to format Javadoc.