tomzohar1.github.io/404.html at master · tomzohar1/tomzohar1.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="utf-8">
    <title>Redirecting… | Tom Zohar</title>
    <meta name="robots" content="noindex">

    <script>
        // GitHub Pages redirect handler.
        // Map old paths → new paths below. Add entries whenever a file moves.
        var redirects = {
            // Example — uncomment and adapt if a file was ever renamed:
            // "/assets/writeups/old-name.pdf": "/assets/writeups/new-name.pdf",

            // JMP / older abortion paper URL (sometimes shared in old emails)
            "/assets/writeups/zohar_JMP.pdf": "/assets/writeups/zohar_brooks_dobbin_abortion_subsidies_israel.pdf",

            // Older IGM filename occasionally referenced in external links
            "/assets/writeups/IGM_firms.pdf": "/assets/writeups/IGM_decomposition.pdf",

            // REDLAB → SERIEs submission
            "/assets/writeups/REDLAB.pdf": "/assets/writeups/Almunia%20Samkov%20Zohar%20--%20SERIEs%20submission.pdf"
        };

        var path = window.location.pathname;
        var target = redirects[path];

        if (target) {
            // Preserve any query string / hash
            window.location.replace(target + window.location.search + window.location.hash);
        }
        // If no redirect rule matches, fall through to the message below.
    </script>
</head>
<body>
    <p>Page not found. <a href="/">Return to tomzohar.com</a></p>
</body>
</html>