Redirect to /downloader?f=ThePEG-1.4.2.tar.gz