FYI - I created a CF entry [1] for this because AFAIK the patch is just waiting for a committer to check if it is OK to be pushed, but maybe nobody has noticed it.
====== [1] https://commitfest.postgresql.org/48/5075/ Kind Regards, Peter Smith. Fujitsu Australia