diff --git a/devdocs/build/RELEASE-PROCEDURE.md b/devdocs/build/RELEASE-PROCEDURE.md
index 1775863b..8ee661b9 100644
--- a/devdocs/build/RELEASE-PROCEDURE.md
+++ b/devdocs/build/RELEASE-PROCEDURE.md
@@ -51,6 +51,7 @@ cd C:\data\code\raven-test\e2e; .\local-run.bat
 **Often missed: check carefully against the previous release.**
 
 - `docs/8.0/ayanova/docs/changelog.md`: the new version's section is complete and reads well; remove "IN PROGRESS".
+- The new version's section starts with `Released YYYY-MM-DD`, the planned publication date (step 7), as every earlier version does. The manual is built into every package, so it must be right before the build.
 - Manual revision stamp and copyright year: set automatically when the manuals are built
   (`docs/8.0/rev_date.py`, the date of the last commit that changed each manual). After the build,
   check the bottom of a page in `server/AyaNova/wwwroot/docs`: `REV-` must be that date.
diff --git a/docs/8.0/ayanova/docs/changelog.md b/docs/8.0/ayanova/docs/changelog.md
index 836f1c72..2a19a710 100644
--- a/docs/8.0/ayanova/docs/changelog.md
+++ b/docs/8.0/ayanova/docs/changelog.md
@@ -10,6 +10,8 @@ See the [upgrade instructions](ops-upgrade.md) section of this manual for detail
 
 ### AyaNova 8.3.1
 
+Released 2026-11-05
+
 **Upgrading from 8.2.4 or older?** AyaNova 8.3.0 and newer need a one-time [pre-upgrade step](ops-upgrade.md#upgrading-from-824-or-older) on Windows network and Linux installations.
 
 **Changed**
@@ -27,6 +29,8 @@ See the [upgrade instructions](ops-upgrade.md) section of this manual for detail
 
 ### AyaNova 8.3.0
 
+Released 2026-10-29
+
 **WARNING:** this release contains changes that will require a **pre upgrade step** on all Windows and Linux network platforms from the normal upgrade process you may be accustomed to. Be sure to follow our [upgrade instructions](ops-upgrade.md) and the **pre upgrade step** for your platform for this particular upgrade from version 8.2.4 (or older) to version 8.3.0 (or newer).
 
 **IMPORTANT:** this release includes important security improvements along with the move to .NET 10. We recommend upgrading to 8.3.0 promptly.