Date: Mon, 13 Nov 95 13:42 GMT From: Ian Jackson <ian@chiark.chu.cam.ac.uk> How about we change the names of the links to stable -> debian-0.93 development -> debian-1.0 ? (The debian- part is superfluous.) Okay. I've made this change.