Dear Peter,
Thanks for the comment.
> Patch 0001 looks very sensible.
>
> I don't think we need to bother we the other ones. pg_config works
> differently than the other programs anyway, because --version does not
> exit the program. And pg_bsd_indent is an externally maintained
> program. So I think it is ok if these two are intentionally different.
You meant that 0002-0004 are not needed, right?
So let's put on out-of-scope...
Best regards,
Hayato Kuroda
FUJITSU LIMITED
