At Tue, 13 Apr 2004 12:35:51 +0000 (UTC), "Richard Sandiford" wrote: > I think the only obvious argument against is backwards compability. Err, and it's obvious how to keep backward compatibility... (just have undocumented options w/ the old names, to be removed at some point in the future, that use the new option numbers.) chris