Set default version to v4.0.2 with mike 0.5.5

index.html

@@ -3,7 +3,7 @@
 <head>
   <title>Redirecting</title>
   <script>
-    window.location.replace("v4.0.1");
+    window.location.replace("v4.0.2");
   </script>
 </head>
 <body>