Merge pull request #1607 from opendatalab/dev

docs(url): update Miners links in header

projects/gradio_app/header.html

@@ -102,7 +102,7 @@
 
         <!-- Homepage Link. -->
         <span class="link-block">
-          <a href="https://mineru.org.cn/home?source=online" class="external-link button is-normal is-rounded is-dark" style="text-decoration: none; cursor: pointer">
+          <a href="https://mineru.net/home?source=online" class="external-link button is-normal is-rounded is-dark" style="text-decoration: none; cursor: pointer">
             <span class="icon" style="margin-right: 8px">
               <i class="fas fa-home" style="color: white"></i>
             </span>
@@ -112,7 +112,7 @@
 
         <!-- Client Link. -->
         <span class="link-block">
-          <a href="https://mineru.org.cn/client?source=online" class="external-link button is-normal is-rounded is-dark" style="text-decoration: none; cursor: pointer">
+          <a href="https://mineru.net/client?source=online" class="external-link button is-normal is-rounded is-dark" style="text-decoration: none; cursor: pointer">
             <span class="icon" style="margin-right: 8px">
               <i class="fas fa-download" style="color: white"></i>
             </span>