Set default version to v4.1.3 with mike 0.5.5

index.html

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