The Tala language and its tools are no longer developed as of 2026-11-10;
Progmasoft puts its work into Tazel, now a build system for C, C++,
Objective-C, Objective-C++ and Zig. tala.run is prepared for OpenTala, a
kernel, and TalaOS.

- ops/nginx/tala.conf and forum.conf: every page of tala.run, www.tala.run,
  talac.tala.run, talafmt.tala.run, talalint.tala.run and forum.tala.run
  answers 302 to https://tala.run/unavailable?reason=maintenance. 302, not
  308, so neither browsers nor Cloudflare keep the redirect once the domain
  serves other pages.
- /unavailable answers 503 with Retry-After, X-Robots-Tag noindex and a
  strict policy; its body is ops/maintenance/unavailable.html, a static page
  in English, German, Russian and Hebrew that names OpenTala and TalaOS.
- ACME on port 80, tazel.tala.run (to tazel.net), the former domain's
  redirects and viget.xsharp-lang.xyz (to viget.progmasoft.com) keep
  working. ops/nginx/tala-maintenance.conf, the 503 vhost it replaces, is
  removed.
- README and Documents/OPERATIONS.md say so; the site tests check the
  redirects, the notice and its four languages instead of the served routes.

Installed on the first server before this PR (previous files in
/root/tala-run-before-unavailable); every host checked from outside.

Xide is no longer developed as of 2026-11-08 (Progmasoft/xide#29), so
the answer to "Does Tala require a particular IDE?" no longer calls it a
future interface. In all four languages the answer now says only that
the supported workflow uses command-line tools on Windows, macOS and
Linux.

The integrity tests still expected tazel.tala.run to serve the Vue build
with its own robots.txt and sitemap.xml. They now count four app-shell
hosts and check the redirect itself: the two former pages go to their
pages under tazel.net/docs/reference/ with the query string, other docs
paths to tazel.net/docs, everything else to the same path, the /docs/
prefix is a plain one so the regular expression is reached, and HSTS
stays.

OPERATIONS.md and ARCHITECTURE.md list tazel.tala.run as a permanent
redirect instead of a documentation site.

The first -- ends the name of a custom command, and a line of s(...)
reaches the shell unchanged. Written for the Tazel release that carries
tazel#40.

They were produced again with a real build, and they match, the LLVM IR
included.

Tazel left the compiler repository, which holds no Kotlin any more, so
building the compiler needs neither Temurin JDK nor Gradle. The page
now links Tazel as a repository of its own.