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.

3 files changed, 6 insertions, 240 deletions

diff --git a/apps/web/lib/product-sites.ts b/apps/web/lib/product-sites.ts
index f88ecda..d6c5af3 100644
--- a/apps/web/lib/product-sites.ts
+++ b/apps/web/lib/product-sites.ts
@@ -4,9 +4,8 @@
 import type { Locale } from "./localization";
 
 /**
- * The text of the product sites Progmaweb serves itself: ides.progmasoft.com
- * (with Xide at /xide) and catch3.progmasoft.com. The facts follow the
- * READMEs and documentation of the product repositories.
+ * The text of the product site Progmaweb serves itself, catch3.progmasoft.com.
+ * The facts follow the READMEs and documentation of the product repositories.
  */
 interface SitesMessages {
   common: {
@@ -14,23 +13,6 @@ interface SitesMessages {
     productPage: string;
     status: string;
   };
-  ides: {
-    title: string;
-    description: string;
-    open: string;
-  };
-  xide: {
-    eyebrow: string;
-    tagline: string;
-    description: string;
-    status: string;
-    layoutTitle: string;
-    layout: [title: string, description: string][];
-    languagesTitle: string;
-    languagesDescription: string;
-    architectureTitle: string;
-    architecture: string[];
-  };
   catch3: {
     eyebrow: string;
     tagline: string;
@@ -51,44 +33,6 @@ export const sitesMessages: Record<Locale, SitesMessages> = {
       productPage: "Product page",
       status: "Status",
     },
-    ides: {
-      title: "Progmasoft IDEs",
-      description:
-        "Development environments by Progmasoft, built around the Tala tools and the languages next to them.",
-      open: "Open",
-    },
-    xide: {
-      eyebrow: "Progmasoft IDEs",
-      tagline: "The planned IDE for Tala.",
-      description:
-        "Xide is an integrated development environment written in Kotlin with Compose Multiplatform. It brings the editor, the project and the Tala compiler's diagnostics into one window.",
-      status:
-        "Early work: Xide is not ready for daily use. Today it lays the foundation that keeps the architecture coherent.",
-      layoutTitle: "A familiar layout",
-      layout: [
-        [
-          "Project",
-          "Open a folder as a tree; directories load one level at a time and symbolic links are never followed.",
-        ],
-        [
-          "Editor",
-          "A tab per document, line numbers, a marker on each line with a problem, and no silent closing of modified files.",
-        ],
-        [
-          "Problems",
-          "Diagnostics bound to the exact document version that was checked; results that went stale are dropped.",
-        ],
-      ],
-      languagesTitle: "Languages",
-      languagesDescription:
-        "Tala, Kotlin, Java, Groovy and Python open, edit and save, with syntax colouring for all five. Checking is connected for Tala: Xide runs talac and reads its structured diagnostics instead of scraping terminal text.",
-      architectureTitle: "Architecture",
-      architecture: [
-        "Kotlin/JVM components with a Compose Multiplatform desktop interface",
-        "A minimized Java runtime ships with Xide; no separate JDK to install",
-        "Extensions are Kotlin/JVM JARs loaded from the extension directory",
-      ],
-    },
     catch3: {
       eyebrow: "Progmasoft Catch3",
       tagline: "C++ testing beyond assertions.",
@@ -141,44 +85,6 @@ export const sitesMessages: Record<Locale, SitesMessages> = {
       productPage: "Produktseite",
       status: "Status",
     },
-    ides: {
-      title: "Progmasoft-IDEs",
-      description:
-        "Entwicklungsumgebungen von Progmasoft, gebaut um die Tala-Werkzeuge und die Sprachen daneben.",
-      open: "Öffnen",
-    },
-    xide: {
-      eyebrow: "Progmasoft-IDEs",
-      tagline: "Die geplante IDE für Tala.",
-      description:
-        "Xide ist eine integrierte Entwicklungsumgebung in Kotlin mit Compose Multiplatform. Sie vereint Editor, Projekt und die Diagnosen des Tala-Compilers in einem Fenster.",
-      status:
-        "Frühes Stadium: Xide ist noch nicht für den täglichen Einsatz bereit. Derzeit entsteht das Fundament, das die Architektur zusammenhält.",
-      layoutTitle: "Eine vertraute Anordnung",
-      layout: [
-        [
-          "Projekt",
-          "Einen Ordner als Baum öffnen; Verzeichnisse laden Ebene für Ebene, symbolischen Links wird nie gefolgt.",
-        ],
-        [
-          "Editor",
-          "Ein Tab pro Dokument, Zeilennummern, eine Markierung an jeder Zeile mit einem Problem und kein stilles Schließen geänderter Dateien.",
-        ],
-        [
-          "Probleme",
-          "Diagnosen gehören genau zu der geprüften Dokumentversion; veraltete Ergebnisse werden verworfen.",
-        ],
-      ],
-      languagesTitle: "Sprachen",
-      languagesDescription:
-        "Tala, Kotlin, Java, Groovy und Python lassen sich öffnen, bearbeiten und speichern, alle fünf mit Syntaxhervorhebung. Die Prüfung ist für Tala angebunden: Xide startet talac und liest seine strukturierten Diagnosen, statt Terminaltext auszuwerten.",
-      architectureTitle: "Architektur",
-      architecture: [
-        "Kotlin/JVM-Komponenten mit einer Desktop-Oberfläche in Compose Multiplatform",
-        "Xide bringt eine minimierte Java-Laufzeit mit; kein separates JDK nötig",
-        "Erweiterungen sind Kotlin/JVM-JARs aus dem Erweiterungsverzeichnis",
-      ],
-    },
     catch3: {
       eyebrow: "Progmasoft Catch3",
       tagline: "C++-Tests jenseits von Assertions.",
@@ -231,44 +137,6 @@ export const sitesMessages: Record<Locale, SitesMessages> = {
       productPage: "Страница продукта",
       status: "Статус",
     },
-    ides: {
-      title: "Среды разработки Progmasoft",
-      description:
-        "Среды разработки Progmasoft, построенные вокруг инструментов Tala и соседних языков.",
-      open: "Открыть",
-    },
-    xide: {
-      eyebrow: "Среды разработки Progmasoft",
-      tagline: "Будущая среда разработки для Tala.",
-      description:
-        "Xide — интегрированная среда разработки на Kotlin и Compose Multiplatform. Она объединяет редактор, проект и диагностику компилятора Tala в одном окне.",
-      status:
-        "Ранняя стадия: Xide ещё не готова к повседневной работе. Сейчас закладывается основа, которая сохраняет архитектуру цельной.",
-      layoutTitle: "Привычная компоновка",
-      layout: [
-        [
-          "Проект",
-          "Папка открывается деревом; каталоги загружаются по одному уровню, по символическим ссылкам переход не выполняется.",
-        ],
-        [
-          "Редактор",
-          "Вкладка на каждый документ, номера строк, отметка у каждой строки с проблемой и никакого тихого закрытия изменённых файлов.",
-        ],
-        [
-          "Проблемы",
-          "Диагностика привязана к той версии документа, которая проверялась; устаревшие результаты отбрасываются.",
-        ],
-      ],
-      languagesTitle: "Языки",
-      languagesDescription:
-        "Tala, Kotlin, Java, Groovy и Python открываются, редактируются и сохраняются, все пять — с подсветкой синтаксиса. Проверка подключена для Tala: Xide запускает talac и читает его структурированную диагностику, а не разбирает текст терминала.",
-      architectureTitle: "Архитектура",
-      architecture: [
-        "Компоненты на Kotlin/JVM с настольным интерфейсом на Compose Multiplatform",
-        "Вместе с Xide поставляется минимальная среда Java; отдельный JDK не нужен",
-        "Расширения — это JAR для Kotlin/JVM из каталога расширений",
-      ],
-    },
     catch3: {
       eyebrow: "Progmasoft Catch3",
       tagline: "Тестирование C++ за пределами утверждений.",
@@ -321,44 +189,6 @@ export const sitesMessages: Record<Locale, SitesMessages> = {
       productPage: "דף המוצר",
       status: "מצב",
     },
-    ides: {
-      title: "סביבות הפיתוח של Progmasoft",
-      description:
-        "סביבות פיתוח של Progmasoft, שנבנות סביב כלי Tala והשפות שלצידם.",
-      open: "לפתוח",
-    },
-    xide: {
-      eyebrow: "סביבות הפיתוח של Progmasoft",
-      tagline: "סביבת הפיתוח המתוכננת ל־Tala.",
-      description:
-        "Xide היא סביבת פיתוח משולבת שנכתבת ב־Kotlin עם Compose Multiplatform. היא מביאה את העורך, הפרויקט והאבחונים של מהדר Tala לחלון אחד.",
-      status:
-        "שלב מוקדם: Xide עדיין לא מוכנה לשימוש יומיומי. כרגע נבנה הבסיס ששומר על ארכיטקטורה עקבית.",
-      layoutTitle: "פריסה מוכרת",
-      layout: [
-        [
-          "פרויקט",
-          "פתיחת תיקייה כעץ; תיקיות נטענות רמה אחר רמה, וקישורים סימבוליים לא נעקבים לעולם.",
-        ],
-        [
-          "עורך",
-          "לשונית לכל מסמך, מספרי שורות, סימון בכל שורה עם בעיה, ואין סגירה שקטה של קבצים שהשתנו.",
-        ],
-        [
-          "בעיות",
-          "האבחונים קשורים לגרסת המסמך המדויקת שנבדקה; תוצאות שהתיישנו נזרקות.",
-        ],
-      ],
-      languagesTitle: "שפות",
-      languagesDescription:
-        "Tala,‏ Kotlin,‏ Java,‏ Groovy ו־Python נפתחות, נערכות ונשמרות, כולן עם צביעת תחביר. הבדיקה מחוברת ל־Tala: ‏Xide מריצה את talac וקוראת את האבחונים המובנים שלו במקום לפענח טקסט מהמסוף.",
-      architectureTitle: "ארכיטקטורה",
-      architecture: [
-        "רכיבי Kotlin/JVM עם ממשק לשולחן העבודה ב־Compose Multiplatform",
-        "סביבת Java מצומצמת מגיעה עם Xide; אין צורך להתקין JDK נפרד",
-        "הרחבות הן קובצי JAR של Kotlin/JVM מתיקיית ההרחבות",
-      ],
-    },
     catch3: {
       eyebrow: "Progmasoft Catch3",
       tagline: "בדיקות C++‎ מעבר לטענות.",
diff --git a/apps/web/lib/products.ts b/apps/web/lib/products.ts
index db7a08f..4fe8dfd 100644
--- a/apps/web/lib/products.ts
+++ b/apps/web/lib/products.ts
@@ -13,7 +13,6 @@ export const productSlugs = [
   "talafmt",
   "talalint",
   "tazel",
-  "xide",
   "catch3",
 ] as const;
 export type ProductSlug = (typeof productSlugs)[number];
@@ -62,12 +61,6 @@ export const products: Record<ProductSlug, ProductFacts> = {
     source: "https://github.com/Progmasoft/tazel",
     accent: "orange",
   },
-  xide: {
-    name: "Xide",
-    site: "https://ides.progmasoft.com/xide",
-    source: "https://github.com/Progmasoft/xide",
-    accent: "slate",
-  },
   catch3: {
     name: "Catch3",
     site: "https://catch3.progmasoft.com/",
@@ -101,7 +94,7 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
   "en-US": {
     metadataTitle: "Products",
     metadataDescription:
-      "The products of Progmasoft: the Tala language and its tools, the Xide IDE and the Catch3 testing toolkit.",
+      "The products of Progmasoft: the Tala language with its tools, and the Catch3 testing toolkit.",
     eyebrow: "Progmasoft products",
     title: "Products",
     description:
@@ -172,18 +165,6 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
           "Extensible with DSL plugins",
         ],
       },
-      xide: {
-        category: "Integrated development environment",
-        tagline: "The planned IDE for Tala.",
-        description:
-          "Xide is the integrated development environment for Tala, written in Kotlin with Compose Multiplatform. It is early work and not yet ready for daily use.",
-        features: [
-          "A desktop shell with a project tree, tabbed editor and problems view",
-          "Tala, Kotlin, Java, Groovy and Python with syntax colouring",
-          "Checks Tala files with the structured diagnostics of talac",
-          "Extensions as Kotlin/JVM JARs",
-        ],
-      },
       catch3: {
         category: "Testing toolkit",
         tagline: "C++ testing beyond assertions.",
@@ -201,7 +182,7 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
   "de-DE": {
     metadataTitle: "Produkte",
     metadataDescription:
-      "Die Produkte von Progmasoft: die Sprache Tala und ihre Werkzeuge, die IDE Xide und das Testwerkzeug Catch3.",
+      "Die Produkte von Progmasoft: die Sprache Tala mit ihren Werkzeugen und das Testwerkzeug Catch3.",
     eyebrow: "Progmasoft-Produkte",
     title: "Produkte",
     description:
@@ -272,18 +253,6 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
           "Erweiterbar mit DSL-Plugins",
         ],
       },
-      xide: {
-        category: "Integrierte Entwicklungsumgebung",
-        tagline: "Die geplante IDE für Tala.",
-        description:
-          "Xide ist die integrierte Entwicklungsumgebung für Tala, geschrieben in Kotlin mit Compose Multiplatform. Sie ist in einem frühen Stadium und noch nicht für den täglichen Einsatz bereit.",
-        features: [
-          "Eine Desktop-Oberfläche mit Projektbaum, Editor-Tabs und Problemansicht",
-          "Tala, Kotlin, Java, Groovy und Python mit Syntaxhervorhebung",
-          "Prüft Tala-Dateien mit den strukturierten Diagnosen von talac",
-          "Erweiterungen als Kotlin/JVM-JARs",
-        ],
-      },
       catch3: {
         category: "Testwerkzeug",
         tagline: "C++-Tests jenseits von Assertions.",
@@ -301,7 +270,7 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
   "ru-RU": {
     metadataTitle: "Продукты",
     metadataDescription:
-      "Продукты Progmasoft: язык Tala и его инструменты, среда разработки Xide и набор для тестирования Catch3.",
+      "Продукты Progmasoft: язык Tala с его инструментами и набор для тестирования Catch3.",
     eyebrow: "Продукты Progmasoft",
     title: "Продукты",
     description:
@@ -372,18 +341,6 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
           "Расширяется DSL-плагинами",
         ],
       },
-      xide: {
-        category: "Интегрированная среда разработки",
-        tagline: "Будущая среда разработки для Tala.",
-        description:
-          "Xide — интегрированная среда разработки для Tala на Kotlin и Compose Multiplatform. Это ранняя стадия, ещё не готовая к повседневной работе.",
-        features: [
-          "Настольная оболочка с деревом проекта, вкладками редактора и окном проблем",
-          "Tala, Kotlin, Java, Groovy и Python с подсветкой синтаксиса",
-          "Проверка файлов Tala через структурированную диагностику talac",
-          "Расширения в виде JAR для Kotlin/JVM",
-        ],
-      },
       catch3: {
         category: "Набор для тестирования",
         tagline: "Тестирование C++ за пределами утверждений.",
@@ -401,7 +358,7 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
   "he-IL": {
     metadataTitle: "מוצרים",
     metadataDescription:
-      "המוצרים של Progmasoft: שפת Tala והכלים שלה, סביבת הפיתוח Xide וערכת הבדיקות Catch3.",
+      "המוצרים של Progmasoft: שפת Tala עם הכלים שלה וערכת הבדיקות Catch3.",
     eyebrow: "המוצרים של Progmasoft",
     title: "מוצרים",
     description:
@@ -472,18 +429,6 @@ export const catalogMessages: Record<Locale, CatalogMessages> = {
           "ניתן להרחבה בתוספי DSL",
         ],
       },
-      xide: {
-        category: "סביבת פיתוח משולבת",
-        tagline: "סביבת הפיתוח המתוכננת ל־Tala.",
-        description:
-          "Xide היא סביבת הפיתוח המשולבת ל־Tala, שנכתבת ב־Kotlin עם Compose Multiplatform. היא בשלב מוקדם ועדיין לא מוכנה לשימוש יומיומי.",
-        features: [
-          "מעטפת לשולחן העבודה עם עץ פרויקט, לשוניות עורך ותצוגת בעיות",
-          "Tala,‏ Kotlin,‏ Java,‏ Groovy ו־Python עם צביעת תחביר",
-          "בודקת קובצי Tala עם האבחונים המובנים של talac",
-          "הרחבות כקובצי JAR של Kotlin/JVM",
-        ],
-      },
       catch3: {
         category: "ערכת בדיקות",
         tagline: "בדיקות C++‎ מעבר לטענות.",
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;