} Technically speaking, this is the "correct" way in Autoconf of
} specifying the default value for an option (arg 4 is invoked if
} neither the positive nor negative form of the option is given). It's
} a bit more of a change than we've originally discussed, however;
} what do y'all think?
My vote: let's leave things as they are for now, and revisit this one
later.