On Mon, Apr 11, 2016 at 12:30:26 +0200, Thilo Borgmann wrote: > > Please add (somewhere) that this is the default. > This is already in: Oh darn, sorry. I apparently checked above and inline. Moritz