bring back pyright

docs/2023-06-25-useful-tools.html

@@ -762,6 +762,11 @@
           >https://github.com/golang/tools/tree/master/gopls</a
         >
       </li>
+      <li>
+        <a href="https://github.com/Microsoft/pyright"
+          >https://github.com/Microsoft/pyright</a
+        >
+      </li>
       <li>
         <a href="https://github.com/artempyanykh/marksman"
           >https://github.com/artempyanykh/marksman</a
@@ -902,11 +907,6 @@
       <li>
         <a href="https://github.com/pypa/pipx">https://github.com/pypa/pipx</a>
       </li>
-      <li>
-        <a href="https://github.com/Microsoft/pyright"
-          >https://github.com/Microsoft/pyright</a
-        >
-      </li>
     </ul>
     <div class="markdown-heading">
       <h4 class="heading-element">Go</h4>

posts/2023-06-25-useful-tools.md

@@ -158,6 +158,7 @@ Format
 Language server
 
 - https://github.com/golang/tools/tree/master/gopls
+- https://github.com/Microsoft/pyright
 - https://github.com/artempyanykh/marksman
 
 Misc
@@ -192,7 +193,6 @@ Memory
 - https://github.com/ankitpokhrel/jira-cli
 - https://github.com/pyenv/pyenv
 - https://github.com/pypa/pipx
-- https://github.com/Microsoft/pyright
 
 #### Go