Some crude rendering of Javadoc-style tags.