>> Shoudn't you add this to commitfest ?
> I added it last week, see https://commitfest.postgresql.org/23/2069/
Oups, sorry for the noise