Merge pull request #536 from Nfsaavedra/python-readme

[doc] Add Python client to README

README.md

@@ -54,6 +54,7 @@ and web native usage, providing quite a few extra features from vanilla Coq.
   - [🦄 Emacs](#-emacs)
   - [✅ Vim](#-vim)
   - [🩱 Neovim](#-neovim)
+  - [🐍 Python](#-python)
 - [🗣️ Discussion Channel](#️-discussion-channel)
 - [☎ Weekly Calls](#-weekly-calls)
 - [❓FAQ](#faq)
@@ -296,6 +297,11 @@ programs.vscode = {
 
 - Experimental client by Jaehwang Jung: https://github.com/tomtomjhj/coq-lsp.nvim
 
+### 🐍 Python
+
+- Interact programmatically with Coq files by using the [Python `coq-lsp` client](https://github.com/sr-lab/coq-lsp-pyclient)
+  by Pedro Carrott and Nuno Saavedra.
+
 ## 🗣️ Discussion Channel
 
 `coq-lsp` discussion channel it at [Coq's

etc/release_notes/v0.1.7.md

@@ -122,7 +122,7 @@ Please find below the full list of changes:
 [1] https://github.com/ejgallego/coq-lsp/tree/main/etc/release_notes
 [2] https://github.com/inQWIRE/ViZX
 [3] https://coq.zulipchat.com/#narrow/stream/329642-coq-lsp/topic/coq-lsp.20under.20Emacs.2E
-[4] https://github.com/pcarrott/coq-lsp-pyclient
+[4] https://github.com/sr-lab/coq-lsp-pyclient
 
 Kind regards,
 The coq-lsp team