Has anyone (recently) persued a dns record for pts.debian.org? It would only make sense to me, since this is a primary resource for developers, and I recall at one point someone indicating that they didn't use the PTS because of its obscure fqdn :) Justin