On Mon, Feb 01, 2010 at 09:37:14AM +0000, Jens Rehsack wrote: > This change could be reverted, of course - but I thought it might > help to calm down this discussion. I don't think it helps. Joerg