On Sun, May 13, 2012 at 10:55 AM, Patrick Mézard <patrick at mezard.eu> wrote: >> That's even more explicit which is great. Will it still have a short >> version? I'd so, which will it be? > > Oh right, I did not consider that. Do we need a short option if we have a global setting? Probably not. Cheers, Dirkjan