May I remind you all that debian-release is NOT a discussion list? I think the respective positions are clear. Now can the release team please step in and say what their view on the matter is, which AFAICS is the only reason why this thread should belong to this list? Gerardo