On Wed, Nov 9, 2022 at 1:54 PM Ron <ronljohnsonjr(at)gmail(dot)com> wrote:
>
> But this raises a different question: when does the postgres database not
> exist?
>
>
You are giving it too much specialness. Both ALTER DATABASE ... RENAME and
DROP DATABASE can be used on it.
David J.