Support for some (probably) really old javadoc-generated docs