Doc comment ref page claims it will appear in an exported index.html #796
Description
Issue description
The "doc comment" reference page says:
Explanatory notes embedded within the code and written to the "index.html" file created when the code is exported.
However, PDE > File > Export Application does not appear to generate an index.html with JavaDoc contents.
URL(s) of affected page(s)
https://processing.org/reference/doccomment.html
Proposed fix
If this is a regression then we should fix JavaDoc generation in the main Processing code base. However if this was a dropped feature, we should either cut that reference text or change it to make clear that this does not work with the PDE export.