Set default version to latest with mike 0.5.3

index.html

@@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <title>Redirecting</title>
+  <script>
+    window.location.replace("latest");
+  </script>
+</head>
+<body>
+</body>
+</html>