Hello David,
>> [...]
>
> Fixed.
>
>> [...]
>
> I've changed it to something that makes more sense to me. Hope it
> makes more sense to others.
Ok, all is fine for me.
I could not find a CF entry, so I created one:
https://commitfest.postgresql.org/19/1728/
--
Fabien.