Attaching a new version of the patch.
When I looked closer at the release pages, I noticed there were references to the plugin_help documentation in the web site on the release pages for releases that had a plugin, and my removing those details would cause broken links.
As far as I can see, the plugin_help directory on the web site is a copy of the topics under http://svn.apache.org/viewvc/db/derby/code/trunk/plugins/eclipse/org.apache.derby.plugin.doc/topics/.
It's a pity we have this duplication of information, but it isn't much out of date - the only difference being the changes resulting from
DERBY-2376 (revision 531595: http://svn.apache.org/viewvc?view=revision&revision=531595).
So this second patch doesn't actually remove the old files, instead, it adds a new page, derby_plugin_info, which is referenced in the new updated menu. This way, when going into the Downloads tab and picking one of the releases that had a plugin available, users can still go to the help, and then get the same information as before via the menu, which is still expanded for those pages.
I also forgot to svn revert a couple of png files in the first patch.
Re the cgi vs. html for 10.9.1 and 10.8.2.2 - I looked at the release publication page where the creation of these files is described, and I think it's ok that I don't get changes to the .cgi files, and that the mirrorring doesn't work when I'm just opening the files on my machine in the browser.