Is there a list of developer accessible machines anywhere ? A mirror of http://db.debian.org/machines.cgi would have been handy Glenn