<!DOCTYPE HTML>
<html lang="en-US">
    <head>
        <meta charset="UTF-8">
        <meta http-equiv="refresh" content="1;url=http://example.com">
        <script type="text/javascript">
            window.location.href = "http://cs.jhu.edu/~post/files/joshua-v5.0.tgz"
        </script>
        <title>Page Redirection</title>
    </head>
    <body>
        If you are not redirected automatically, follow 
        <a href='http://cs.jhu.edu/~post/files/joshua-v5.0.tgz'>this link</a>
        to download Joshua directly.
    </body>
</html>