> Where is the documentation on how these debian.net domain hosts are used > for and how these names are allocated? http://db.debian.org/doc-mail.html