On Tue, Oct 16, 2012 at 10:01 AM, Roy Stogner <roystgnr@ices.utexas.edu> wrote:
I'll take that as another vote for "don't remove the existing option
until the new option has been available for a couple releases".

Actually - it's fine with me if you want to change it immediately.  I hate not renumbering by passing True ;-)
The reason for the double negative is to emphasize that renumbering is
the default, but that's a weak reason.  Unless someone else disagrees
I'll change it to "allow_renumbering" or some such shortly.

Yeah - I'm with you... but man I've messed this up a few times over the years!