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.
