Paolo Carlini wrote: > If people agree, I can just remove it, together with a few small > additional > tweaks and clean-ups that I mentioned yesterday. In mainline too, I mean. Paolo.