Looks good to me. As I see it, the patch is almost ready, so I decided
to create an CF entry [0]. Feel free to edit it as you see fit.
And your mail also includes attachment (unknown_filename
<https://www.postgresql.org/message-id/attachment/175614/unknown_filename>
), interfering with the CF-bot.
[0] https://commitfest.postgresql.org/patch/6119/