Add missing entry to the contributing guide TOC.

And add links to UI in the browser.

1 files changed, 10 insertions, 0 deletions

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 529a912bb6..0c1812ec1c 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -21,6 +21,7 @@ well.
     - [Support](#support)
     - [Standard libraries](#standard-libraries)
     - [Maintaining existing packages in coq-community](#maintaining-existing-packages-in-coq-community)
+  - [Contributing to the editor support packages](#contributing-to-the-editor-support-packages)
   - [Contributing to the website or the package archive](#contributing-to-the-website-or-the-package-archive)
   - [Other ways of creating content](#other-ways-of-creating-content)
 - [Issues](#issues)
@@ -208,6 +209,10 @@ manifesto's README][coq-community-manifesto].
 
 ### Contributing to the editor support packages ###
 
+Besides CoqIDE, whose sources are available in this repository, and to
+which you are welcome to contribute, there are a number of alternative
+user interfaces for Coq, more often as an editor support package.
+
 Here are the URLs of the repositories of the various editor support
 packages:
 
@@ -216,6 +221,11 @@ packages:
 - Coqtail (Vim) <https://github.com/whonore/Coqtail>
 - VsCoq Reloaded (VsCode) <https://github.com/coq-community/vscoq>
 
+And here are alternative user interfaces to be run in the web browser:
+
+- JsCoq (Coq executed in your browser) <https://github.com/ejgallego/jscoq>
+- Jupyter kernel for Coq <https://github.com/EugeneLoy/coq_jupyter/>
+
 Each of them has their own contribution process.
 
 ### Contributing to the website or the package archive ###