Remove excessive information about CoqIDe clutering the user interfac…

…e page.

pages/user-interfaces.html

@@ -60,14 +60,7 @@
 <p>
 Alternatively, you can
 use <a href="https://coq.inria.fr/refman/practical-tools/coqide.html">CoqIDE</a>,
-which is developed and distributed alongside Coq. CoqIDE relies
-on <a href="https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md">Coq's
-XML protocol for IDEs</a> and implements all of the features provided
-by this protocol, meaning in particular asynchronous evaluation.
-CoqIDE comes with standard basic Emacs-like bindings
-and with some specific Coq-related bindings but, as an editor, it is
-not as complete as a general-purpose editor could be (for instance it
-does not have automatic indentation).
+a standalone desktop application which is developed and distributed alongside Coq.
 </p>
 
 <p>