Jeremy Newman : remove debian specific download pages