Set default version to v5.3.3 with mike 1.1.2

index.html

@@ -4,13 +4,13 @@
   <meta charset="utf-8">
   <title>Redirecting</title>
   <noscript>
-    <meta http-equiv="refresh" content="1; url=v5.3.2/" />
+    <meta http-equiv="refresh" content="1; url=v5.3.3/" />
   </noscript>
   <script>
-    window.location.replace("v5.3.2/" + window.location.hash);
+    window.location.replace("v5.3.3/" + window.location.hash);
   </script>
 </head>
 <body>
-  Redirecting to <a href="v5.3.2/">v5.3.2/</a>...
+  Redirecting to <a href="v5.3.3/">v5.3.3/</a>...
 </body>
 </html>