later Javadoc from the same data. Also includes TAGS support for the DocString annotations. Patch by Matt Seddon.