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