It was not designed for that purpose, but with the help of a few
shell scripts, I now promote automatically-modified versions of
the same PHP pages to archive.eclipse.org as well.
As an extra goody, I wanted a better browser for the
contents of https://download.eclipse.org
so I implemented a PHP script specifically for that
purpose. I did this for JustJ's content, but the
result is fully general so I generalized it to provide
the following link from which to get started at the
root:
Starting here, you can browse anything on the download.eclipse.org
server. It has the advantage that you can browse
folder content even if there is an index.html or
index.php in that folder.