Remove Xide and ides.progmasoft.comfeature/remove-xide

Xide is no longer developed as of 2026-11-08 (Progmasoft/xide#29), so
Progmaweb stops presenting it:

- product.progmasoft.com: Xide leaves the catalog, its card and its
  detail page; /xide on the product host is a 404 like any unknown
  product. The catalog's description in every language names the Tala
  language with its tools and Catch3.
- ides.progmasoft.com served only the IDE list and the Xide page, so the
  whole site goes: the pages under app/ides, its texts in every
  language, idesRoute and its host in the proxy, and both nginx server
  blocks. The certificate of progmasoft.com no longer has to name it.

Tests: the catalog lists the remaining products and refuses xide.

1 files changed, 3 insertions, 6 deletions

diff --git a/apps/web/tests/sites.test.mjs b/apps/web/tests/sites.test.mjs
index 7aa2b5a..c366c11 100644
--- a/apps/web/tests/sites.test.mjs
+++ b/apps/web/tests/sites.test.mjs
@@ -12,7 +12,7 @@ import {
   productSlugs,
   products,
 } from "../lib/products.ts";
-import { catch3Route, idesRoute, productRoute } from "../lib/sites.ts";
+import { catch3Route, productRoute } from "../lib/sites.ts";
 
 function shape(value) {
   if (Array.isArray(value)) {
@@ -40,7 +40,7 @@ test("every language has the same home, catalog and product-site text", () => {
 test("the catalog lists the products the user named, each with a site", () => {
   assert.deepEqual(
     [...productSlugs],
-    ["tala-lang", "talac", "talafmt", "talalint", "tazel", "xide", "catch3"],
+    ["tala-lang", "talac", "talafmt", "talalint", "tazel", "catch3"],
   );
   for (const slug of productSlugs) {
     assert.match(products[slug].site, /^https:\/\//, slug);
@@ -50,9 +50,9 @@ test("the catalog lists the products the user named, each with a site", () => {
       slug,
     );
   }
-  assert.equal(products.xide.site, "https://ides.progmasoft.com/xide");
   assert.equal(products.catch3.site, "https://catch3.progmasoft.com/");
   assert.equal(isProductSlug("viget"), false);
+  assert.equal(isProductSlug("xide"), false);
 });
 
 test("the home page names areas, not products", () => {
@@ -73,9 +73,6 @@ test("the product hosts map to their internal routes", () => {
   assert.equal(productRoute("/tala-lang/"), "/products/tala-lang");
   assert.equal(productRoute("/talac/extra"), null);
   assert.equal(productRoute("/../x"), null);
-  assert.equal(idesRoute("/"), "/ides");
-  assert.equal(idesRoute("/xide"), "/ides/xide");
-  assert.equal(idesRoute("/other"), null);
   assert.equal(catch3Route("/"), "/catch3");
   assert.equal(catch3Route("/docs"), null);
 });