> Thanks. Perhaps you could add your patch to the next commit fest> then at https://commitfest.postgresql.org/25/?
Thanks, submitted.