Should the Javadoc tool include annotations in its HTML output? If so,
should it do so unconditionally or conditionally? If conditionally, should
this be under the control of a command-line option or some other mechanism?
-Mike