Generate HTML pages on demand from source code.
The user would start from an initial page, and either search
or click on a link to access an HTML page of interest, which
would be generated on-the-fly.

It would be a web server, written in Java as a doclet.
It need not be built on any existing web server.

Two advantages of this approach are:

 - Users could pass around source files containing only
   stubs and doc comments to enable integrating
   different sets of documentation, and to greatly reduce
   the size of the documentation bundle (HTML files go away).

 - We could implement a feature for user-customizable views
   of the documentation. A user would modify their javadoc
   command to show or hide protected members, for instance.