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-hackers(at)lists(dot)postgresql(dot)org>.
--
Fabien.