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, 0 insertions, 9 deletions

diff --git a/apps/web/lib/sites.ts b/apps/web/lib/sites.ts
index bcfc358..9f456fc 100644
--- a/apps/web/lib/sites.ts
+++ b/apps/web/lib/sites.ts
@@ -23,15 +23,6 @@ export function productRoute(pathname: string): string | null {
     : null;
 }
 
-/** The public pages of ides.progmasoft.com: the list and Xide. */
-export function idesRoute(pathname: string): string | null {
-  const path = trimmed(pathname);
-  if (path === "/") {
-    return "/ides";
-  }
-  return path === "/xide" ? "/ides/xide" : null;
-}
-
 /** The public page of catch3.progmasoft.com. */
 export function catch3Route(pathname: string): string | null {
   return trimmed(pathname) === "/" ? "/catch3" : null;