Hi Mark,
> ... correct the
> documentation and usage messages to describe it accurately, with a
> historical note in the manual explaining the long-standing error I finally had a chance to apply this patch. Thank you for your careful work! I just tweaked a few words in the log message and added one more sentence in the doc explicitly saying arguments and options were separated by whitespace. Closing the bug. --thanks again, karl.
