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, 1 insertions, 2 deletions

diff --git a/apps/web/proxy.ts b/apps/web/proxy.ts
index 4c09ce4..17a34da 100644
--- a/apps/web/proxy.ts
+++ b/apps/web/proxy.ts
@@ -10,7 +10,7 @@ import {
   requestHost,
 } from "@/lib/localization";
 import { authorizeRoute, consoleRoute, issuerRoute } from "@/lib/credentials";
-import { catch3Route, idesRoute, productRoute } from "@/lib/sites";
+import { catch3Route, productRoute } from "@/lib/sites";
 import {
   contentSecurityPolicy,
   createNonce,
@@ -57,7 +57,6 @@ const ownSites: OwnSite[] = [
     route: productRoute,
     api: false,
   },
-  { hosts: hostsOf("ides"), root: "/ides", route: idesRoute, api: false },
   { hosts: hostsOf("catch3"), root: "/catch3", route: catch3Route, api: false },
 ];