To prevent it being lost forever - I registered commitfest entry for it:
https://commitfest.postgresql.org/patch/6145/