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@lists.postgresql.org>.
--
Fabien.
