On Thu, May 24, 2018 at 4:45 AM, Robert P. J. Day <rpjday@xxxxxxxxxxxxxx> wrote: > > but should the man pages be updated similarly? i can whip up a patch > for that unless someone wants to comment on this further. Yes, please! I think [<options>] are the best, as they are pedantically correct. [--options] is the worst, as there is not such thing as --options. Thanks, Stefan
