Norbert Preining <preining@logic.at> writes: > - ignore it for now > > > I hope that explains the situation a bit I am wiser now and vote for the option quoted above... Regards, Frank