What is the status of this? Is it ready to be committed?
I meant to do another update this week, but some Postgres Summit US activities have gotten in the way, I'll try to do another update one tonight. It is possible that the update yields no new names.
Here's the most updated version, as of 78d07020bd05. It's not a formal patch, but dropping the snippet into release-19.sgml should be fairly straightforward. I can do that if you need a formal patch submission.
