"Lukas Renggli" <renggli at gmail.com> wrote in message > You suggested to totally remove it by default. My mistake, seen from just my narrow needs :( I agree with Lukas that just making it configurable would be the right solution. Sophie