Hi there, For people on the list interested in the discussion, Michael Stone has filed #355064, where the "discussion" went on. Bye, -- Loïc Minier <lool@dooz.org> Current Earth status: NOT DESTROYED