Hello everybody, since it does not seem like we are going to vote, could you find another place for that discussion ? (Of course, please avoid debian-devel and debian-project; thanks in advance) Have a nice day, -- Charles Plessy Tsurumi, Kanagawa, Japan