<!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://www.cs.jhu.edu/~post/joshua-docs/"
        </script>
        <title>Page Redirection</title>
    </head>
    <body>
        If you are not redirected automatically, follow 
        <a href="http://www.cs.jhu.edu/~post/joshua-docs/">this link</a>
	to see the developer documentation.
    </body>
</html>