diff --git a/doc/src/sgml/release.sgml b/doc/src/sgml/release.sgml
index 1637b787638..0cc122f0090 100644
--- a/doc/src/sgml/release.sgml
+++ b/doc/src/sgml/release.sgml
@@ -86,64 +86,8 @@ For new features, add links to the documentation sections.
Prior Releases
- Release notes for prior release branches can be found on the
- PostgreSQL
- web site. At the time of release of version 12,
- these were the supported prior release branches:
-
-
-
-
- PostgreSQL 11:
-
- https://www.postgresql.org/docs/11/release.html
-
-
-
-
-
-
- PostgreSQL 10:
-
- https://www.postgresql.org/docs/10/release.html
-
-
-
-
-
-
- PostgreSQL 9.6:
-
- https://www.postgresql.org/docs/9.6/release.html
-
-
-
-
-
-
- PostgreSQL 9.5:
-
- https://www.postgresql.org/docs/9.5/release.html
-
-
-
-
-
-
- PostgreSQL 9.4:
-
- https://www.postgresql.org/docs/9.4/release.html
-
-
-
-
-
-
-
- Release notes for older release branches can be found at
-
- https://www.postgresql.org/docs/manuals/archive/
-
+ Release notes for prior release branches can be found at
+ https://www.postgresql.org/docs/release/
diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES
index aa1a3e1ee4f..edfd56e4462 100644
--- a/src/tools/RELEASE_CHANGES
+++ b/src/tools/RELEASE_CHANGES
@@ -124,10 +124,8 @@ Creating Back-Branch Release Notes
Retiring a Branch
=================
-After support is dropped for an old branch, remove the link for it
-in HEAD's doc/src/sgml/release.sgml. If the newest back branch hasn't
-yet reached GA release, do the same there. (Given our current development
-calendar, the latter should seldom be necessary.)
+* Get the buildfarm's 'branches_of_interest.txt' file updated to remove
+ the retired branch.