Hello Daniel,
I quite like this suggestion, so I’ve changed the patch to do this. Removed the doc: in the commit message to indicate that this is no longer just touching documentation.
And it should be posted to <pgsql-hack...@lists.postgresql.org>. -- Fabien.