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