On Thursday, July 15, 2021, Dave Cramer <
davecramer@gmail.com> wrote:
Well clearly my suggestion was not clear if you interpreted that as over writing them with versions from an older version of PostgreSQL.
Ignoring my original interpretation as being moot; the section immediately preceding your edit says to do exactly that.
David J.