Hello all... FYI, the official Debian-Alpha port page has been updated (http://www.debian.org/ports/alpha). It *should* have everything that we wanted to add to it and I reorganised a bit. Please check it for inclusivness and let me know if any changes need to be made. Thanks! C