Madagascar programs use either "verb" or "verbose" as a verbosity option. It were wonderful if this interface were standardized, so that people do not have to waste time looking up which is the correct one for every program. Standardizing it is quite simple, and I could do it in an hour or so. It involves only grep, vim and a little patience. And a bit of attention -- I will need to look for cases when both verb and verbose appear in the same procedure,
and not touch those, just flag them appropriately with a comment.
However, before starting a change that would affect probably half of Madagascar source code, from book/ to filt/ and to user dirs, I wanted to check with others:
(1) Is it OK to do that?
(2) If yes, should we use "verb" or "verbose"? I propose "verb", because it is less verbose, and because a grep for "verb" finds all instances of "verbose", but a grep for "verbose" does not find instances of "verb".