Remove coq-lsp and exclude unsupported Mason backends

tests/e2e/cases/context.yaml

@@ -2,8 +2,3 @@ language:
   id: context
   kind: metadata
   project: playground/context
-pairs:
-  - language: context
-    server: digestif
-    smoke:
-      status: capabilities

tests/e2e/cases/coq.yaml

@@ -2,8 +2,3 @@ language:
   id: coq
   kind: metadata
   project: playground/coq
-pairs:
-  - language: coq
-    server: coq_lsp
-    smoke:
-      status: capabilities

tests/e2e/cases/dune.yaml

@@ -2,8 +2,3 @@ language:
   id: dune
   kind: metadata
   project: playground/dune
-pairs:
-  - language: dune
-    server: ocamllsp
-    smoke:
-      status: capabilities

tests/e2e/cases/eruby.yaml

@@ -2,8 +2,3 @@ language:
   id: eruby
   kind: metadata
   project: playground/eruby
-pairs:
-  - language: eruby
-    server: steep
-    smoke:
-      status: capabilities

tests/e2e/cases/fennel.yaml

@@ -7,7 +7,3 @@ pairs:
     server: fennel_language_server
     smoke:
       status: capabilities
-  - language: fennel
-    server: fennel_ls
-    smoke:
-      status: capabilities

tests/e2e/cases/menhir.yaml

@@ -2,8 +2,3 @@ language:
   id: menhir
   kind: metadata
   project: playground/menhir
-pairs:
-  - language: menhir
-    server: ocamllsp
-    smoke:
-      status: capabilities

tests/e2e/cases/motoko.yaml

@@ -2,8 +2,3 @@ language:
   id: motoko
   kind: metadata
   project: playground/motoko
-pairs:
-  - language: motoko
-    server: motoko_lsp
-    smoke:
-      status: capabilities

tests/e2e/cases/ocaml.yaml

@@ -2,8 +2,3 @@ language:
   id: ocaml
   kind: metadata
   project: playground/ocaml
-pairs:
-  - language: ocaml
-    server: ocamllsp
-    smoke:
-      status: capabilities

tests/e2e/cases/ocamlinterface.yaml

@@ -2,8 +2,3 @@ language:
   id: ocamlinterface
   kind: metadata
   project: playground/ocamlinterface
-pairs:
-  - language: ocamlinterface
-    server: ocamllsp
-    smoke:
-      status: capabilities

tests/e2e/cases/ocamllex.yaml

@@ -2,8 +2,3 @@ language:
   id: ocamllex
   kind: metadata
   project: playground/ocamllex
-pairs:
-  - language: ocamllex
-    server: ocamllsp
-    smoke:
-      status: capabilities

tests/e2e/cases/php.yaml

@@ -11,7 +11,3 @@ pairs:
     server: phpactor
     smoke:
       status: capabilities
-  - language: php
-    server: psalm
-    smoke:
-      status: capabilities

tests/e2e/cases/reason.yaml

@@ -3,10 +3,6 @@ language:
   kind: metadata
   project: playground/reason
 pairs:
-  - language: reason
-    server: ocamllsp
-    smoke:
-      status: capabilities
   - language: reason
     server: reason_ls
     smoke:

tests/e2e/cases/ruby.yaml

@@ -2,24 +2,3 @@ language:
   id: ruby
   kind: metadata
   project: playground/ruby
-pairs:
-  - language: ruby
-    server: rubocop
-    smoke:
-      status: capabilities
-  - language: ruby
-    server: solargraph
-    smoke:
-      status: capabilities
-  - language: ruby
-    server: sorbet
-    smoke:
-      status: capabilities
-  - language: ruby
-    server: standardrb
-    smoke:
-      status: capabilities
-  - language: ruby
-    server: steep
-    smoke:
-      status: capabilities

tests/e2e/cases/sql.yaml

@@ -19,7 +19,3 @@ pairs:
     server: sqls
     smoke:
       status: capabilities
-  - language: sql
-    server: sqruff
-    smoke:
-      status: capabilities

tests/e2e/cases/suite.yaml

@@ -231,10 +231,6 @@ servers:
     provisioning:
       status: excluded
       reason: The current Mason registry has no package for this server.
-  - id: coq_lsp
-    owner-language: coq
-    provisioning:
-      status: download
   - id: crystalline
     owner-language: crystal
     provisioning:
@@ -308,7 +304,8 @@ servers:
   - id: digestif
     owner-language: context
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported LuaRocks backend.
   - id: djls
     owner-language: python
     provisioning:
@@ -423,7 +420,8 @@ servers:
   - id: fennel_ls
     owner-language: fennel
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported LuaRocks backend.
   - id: fish_lsp
     owner-language: fish
     provisioning:
@@ -849,7 +847,8 @@ servers:
   - id: motoko_lsp
     owner-language: motoko
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported Open VSX backend.
   - id: move_analyzer
     owner-language: move
     provisioning:
@@ -931,7 +930,8 @@ servers:
   - id: ocamllsp
     owner-language: dune
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported OPAM backend.
   - id: ols
     owner-language: odin
     provisioning:
@@ -1074,7 +1074,8 @@ servers:
   - id: psalm
     owner-language: php
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported Composer backend.
   - id: pug
     owner-language: pug
     provisioning:
@@ -1234,7 +1235,8 @@ servers:
   - id: rubocop
     owner-language: ruby
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported RubyGems backend.
   - id: ruff
     owner-language: python
     provisioning:
@@ -1341,7 +1343,8 @@ servers:
   - id: solargraph
     owner-language: ruby
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported RubyGems backend.
   - id: solc
     owner-language: solidity
     provisioning:
@@ -1365,7 +1368,8 @@ servers:
   - id: sorbet
     owner-language: ruby
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported RubyGems backend.
   - id: sourcekit
     owner-language: objc
     provisioning:
@@ -1391,15 +1395,17 @@ servers:
   - id: sqruff
     owner-language: sql
     provisioning:
-      status: download
+      status: excluded
+      reason: The Mason registry classifies this package as a formatter or linter instead of an LSP server.
   - id: stan_ls
     owner-language: stan
     provisioning:
       status: download
   - id: standardrb
     owner-language: ruby
     provisioning:
-      status: download
+      status: excluded
+      reason: The Mason registry classifies this package as a formatter or linter instead of an LSP server.
   - id: starlark_rust
     owner-language: BUILD.bazel
     provisioning:
@@ -1416,7 +1422,8 @@ servers:
   - id: steep
     owner-language: eruby
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported RubyGems backend.
   - id: stimulus_ls
     owner-language: blade
     provisioning:
@@ -1484,7 +1491,8 @@ servers:
   - id: teal_ls
     owner-language: teal
     provisioning:
-      status: download
+      status: excluded
+      reason: lsp-cli cannot install this server because its Mason package uses the unsupported LuaRocks backend.
   - id: templ
     owner-language: templ
     provisioning:

tests/e2e/cases/teal.yaml

@@ -2,8 +2,3 @@ language:
   id: teal
   kind: metadata
   project: playground/teal
-pairs:
-  - language: teal
-    server: teal_ls
-    smoke:
-      status: capabilities

tests/e2e/cases/tex.yaml

@@ -3,10 +3,6 @@ language:
   kind: metadata
   project: playground/tex
 pairs:
-  - language: tex
-    server: digestif
-    smoke:
-      status: capabilities
   - language: tex
     server: texlab
     smoke:

tests/e2e/manifest_tests.rs

@@ -39,18 +39,18 @@ fn complete_manifest_matches_pinned_data() {
 
     assert_eq!(manifest.coverage, Coverage::Complete);
     assert_eq!(detectable.len(), 336);
-    assert_eq!(servers.len(), 359);
-    assert_eq!(compatible.len(), 850);
-    assert_eq!(declared.len(), 322);
-    assert_eq!(compatible.difference(&declared).count(), 528);
-    assert_eq!(manifest.servers.len(), 359);
+    assert_eq!(servers.len(), 358);
+    assert_eq!(compatible.len(), 849);
+    assert_eq!(declared.len(), 302);
+    assert_eq!(compatible.difference(&declared).count(), 547);
+    assert_eq!(manifest.servers.len(), 358);
     assert_eq!(
         manifest
             .servers
             .iter()
             .filter(|server| server.is_downloadable())
             .count(),
-        211
+        198
     );
     assert_eq!(
         manifest