diff --git a/index.html b/index.html
new file mode 100644
index 0000000000000000000000000000000000000000..a815a6d67c2398137d28cf7a4399ab6570c06923
--- /dev/null
+++ b/index.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+<head>
+ <meta charset="utf-8">
+ <title>Redirecting</title>
+ <noscript>
+ <meta http-equiv="refresh" content="1; url=1.3/" />
+ </noscript>
+ <script>
+ window.location.replace("1.3/" + window.location.hash);
+ </script>
+</head>
+<body>
+ Redirecting to <a href="1.3/">1.3/</a>...
+</body>
+</html>
\ No newline at end of file