added redirect of old archive-explorer page to new one

Author: stschiff

index.html

@@ -156,6 +156,19 @@
   <script src="//cdn.jsdelivr.net/npm/docsify-tabs@1"></script>
   <script src="//cdn.jsdelivr.net/npm/docsify-themeable@0/dist/js/docsify-themeable.min.js"></script>
 
+  <script>
+    window.addEventListener('hashchange', function() {
+      if (window.location.hash === '#/archive_explorer') {
+        window.location.href = 'https://server.poseidon-adna.org/explorer';
+        console.log('redirecting to archive explorer...');
+      }
+    });
+    if (window.location.hash === '#/archive_explorer') {
+      window.location.href = 'https://server.poseidon-adna.org/explorer';
+      console.log('redirecting to archive explorer...');
+    }
+  </script>
+
   <style>
     :root {
       /* this is relative to the path of the docsify-themeable stylesheet, which is now hosted locally */