Stop naming versions on the formatter and linter pages

They said version 0.1.0 is built with the compiler of Tala 0.1.0, which
stopped being true with the next release of each. What holds for every
version is that a tool accepts what its compiler accepts.

2 files changed, 18 insertions, 18 deletions

diff --git a/frontend/src/content/talafmt.ts b/frontend/src/content/talafmt.ts
index 6d549ca..021b758 100644
--- a/frontend/src/content/talafmt.ts
+++ b/frontend/src/content/talafmt.ts
@@ -5,7 +5,7 @@ import type { Locale } from "../locales";
 import type { LandingText, WhyTab } from "./landing";
 import type { DocRoute, DocTopic } from "./types";
 
-// talafmt.tala.run. The facts follow the README of Progmasoft/talafmt, version 0.1.0; commands are the same in every
+// talafmt.tala.run. The facts follow the README of Progmasoft/talafmt; commands are the same in every
 // language and only the prose is translated.
 const inPlace = `talafmt Program.tala Library.tala`;
 const check = `talafmt --check Program.tala Library.tala`;
@@ -332,8 +332,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "Version 0.1.0",
-        text: "talafmt accepts what the compiler it is built with accepts; version 0.1.0 is built with the compiler of Tala 0.1.0.",
+        title: "Compiler",
+        text: "talafmt accepts what the compiler it is built with accepts.",
       },
     ],
   },
@@ -362,8 +362,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "Version 0.1.0",
-        text: "talafmt akzeptiert, was der Compiler akzeptiert, mit dem es gebaut ist; Version 0.1.0 ist mit dem Compiler von Tala 0.1.0 gebaut.",
+        title: "Compiler",
+        text: "talafmt akzeptiert, was der Compiler akzeptiert, mit dem es gebaut ist.",
       },
     ],
   },
@@ -392,8 +392,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "Версия 0.1.0",
-        text: "talafmt принимает то, что принимает компилятор, с которым он собран; версия 0.1.0 собрана с компилятором Tala 0.1.0.",
+        title: "Компилятор",
+        text: "talafmt принимает то, что принимает компилятор, с которым он собран.",
       },
     ],
   },
@@ -421,8 +421,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "גרסה 0.1.0",
-        text: "talafmt מקבל את מה שהמהדר שאיתו הוא נבנה מקבל; גרסה 0.1.0 נבנתה עם המהדר של Tala 0.1.0.",
+        title: "מהדר",
+        text: "talafmt מקבל את מה שהמהדר שאיתו הוא נבנה מקבל.",
       },
     ],
   },
diff --git a/frontend/src/content/talalint.ts b/frontend/src/content/talalint.ts
index 6cf8b7c..5d19b7e 100644
--- a/frontend/src/content/talalint.ts
+++ b/frontend/src/content/talalint.ts
@@ -5,7 +5,7 @@ import type { Locale } from "../locales";
 import type { LandingText, WhyTab } from "./landing";
 import type { DocRoute, DocTopic } from "./types";
 
-// talalint.tala.run. The facts follow the README of Progmasoft/talalint, version 0.1.0; commands and check names are
+// talalint.tala.run. The facts follow the README of Progmasoft/talalint; commands and check names are
 // the same in every language and only the prose is translated.
 const report = `talalint Program.tala Library.tala`;
 const fix = `talalint --fix Program.tala`;
@@ -302,7 +302,7 @@ const checksTopic: DocTopic = {
     nav: "What it checks",
     title: "What it checks · Talalint",
     description:
-      "The checks of talalint 0.1.0: the compiler's diagnostics and its own checks of the physical source.",
+      "The checks of talalint: the compiler's diagnostics and its own checks of the physical source.",
     section: "TALALINT / CHECKS",
     heading: "What talalint checks",
     lead: "talalint reports what the compiler it is built with reports, and adds checks of its own on the physical source.",
@@ -320,7 +320,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "Diagnostics of the compiler" },
       {
         kind: "text",
-        text: "Version 0.1.0 is built with the compiler of Tala 0.1.0. Its diagnostics arrive under the compiler check with the compiler's code:",
+        text: "The diagnostics of the compiler arrive under the compiler check with the compiler's code:",
       },
       { kind: "code", code: checks },
       {
@@ -334,7 +334,7 @@ const checksTopic: DocTopic = {
     nav: "Was es prüft",
     title: "Was es prüft · Talalint",
     description:
-      "Die Prüfungen von talalint 0.1.0: die Diagnosen des Compilers und eigene Prüfungen der physischen Quelle.",
+      "Die Prüfungen von talalint: die Diagnosen des Compilers und eigene Prüfungen der physischen Quelle.",
     section: "TALALINT / PRÜFUNGEN",
     heading: "Was talalint prüft",
     lead: "talalint meldet, was der Compiler meldet, mit dem es gebaut ist, und ergänzt eigene Prüfungen der physischen Quelle.",
@@ -352,7 +352,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "Diagnosen des Compilers" },
       {
         kind: "text",
-        text: "Version 0.1.0 ist mit dem Compiler von Tala 0.1.0 gebaut. Seine Diagnosen erscheinen unter der Prüfung compiler mit dem Code des Compilers:",
+        text: "Die Diagnosen des Compilers erscheinen unter der Prüfung compiler mit dem Code des Compilers:",
       },
       { kind: "code", code: checks },
       {
@@ -366,7 +366,7 @@ const checksTopic: DocTopic = {
     nav: "Что он проверяет",
     title: "Что он проверяет · Talalint",
     description:
-      "Проверки talalint 0.1.0: диагностика компилятора и собственные проверки физического текста.",
+      "Проверки talalint: диагностика компилятора и собственные проверки физического текста.",
     section: "TALALINT / ПРОВЕРКИ",
     heading: "Что проверяет talalint",
     lead: "talalint сообщает то, о чём сообщает компилятор, с которым он собран, и добавляет собственные проверки физического текста.",
@@ -384,7 +384,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "Диагностика компилятора" },
       {
         kind: "text",
-        text: "Версия 0.1.0 собрана с компилятором Tala 0.1.0. Его диагностика приходит в проверке compiler с кодом компилятора:",
+        text: "Диагностика компилятора приходит в проверке compiler с кодом компилятора:",
       },
       { kind: "code", code: checks },
       {
@@ -397,7 +397,7 @@ const checksTopic: DocTopic = {
   "he-IL": {
     nav: "מה הוא בודק",
     title: "מה הוא בודק · Talalint",
-    description: "הבדיקות של talalint 0.1.0: האבחונים של המהדר ובדיקות משלו על הטקסט הפיזי.",
+    description: "הבדיקות של talalint: האבחונים של המהדר ובדיקות משלו על הטקסט הפיזי.",
     section: "TALALINT / בדיקות",
     heading: "מה talalint בודק",
     lead: "talalint מדווח את מה שהמהדר שאיתו הוא נבנה מדווח, ומוסיף בדיקות משלו על הטקסט הפיזי.",
@@ -414,7 +414,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "האבחונים של המהדר" },
       {
         kind: "text",
-        text: "גרסה 0.1.0 נבנתה עם המהדר של Tala 0.1.0. האבחונים שלו מגיעים תחת הבדיקה compiler עם הקוד של המהדר:",
+        text: "האבחונים של המהדר מגיעים תחת הבדיקה compiler עם הקוד של המהדר:",
       },
       { kind: "code", code: checks },
       {