I'm using the latest javadoc that has complicated tables at the top and bottom
of each generated file giving various navigation links. (NEXT, PREV etc).
These tables are inappropriate when printing the API docs to file (eg PDF)
and it is getting increasing dificult to filter them out programmatically
(eg with sed). It would be nice to have an option on the standard doclet
to omit them.