> New submission which put option help in alphabetical position, as
> per Peter Eisentraut f0ed3a8a99b052d2d5e0b6153a8907b90c486636
>
> This is for reference to the next commitfest.
Patch update after conflict induced by pg-indentation, for the next
commitfest.
--
Fabien.