Hi, Please don't file bugs about .debian.org DNS records missing on www.debian.org, that is not a suitable pseudo-package for this kind of an issue and there's none other appropriate. -- 2. That which causes joy or happiness.