On Mon, Apr 26, 2010 at 04:53:24PM +0200, Juliusz Chroboczek wrote: > The apparent consensus is being ignored -- the default value is still > the one that people don't want. It's the one that I want.