Author: Dan Langille
Date: 26-09-01 16:08
I didn't write the article, but I do use @home. So I'm guessing. @home don't care what your host name is. They are just using the host-name facility of DHCP to grab your user id or account id [in this context user id/account id is your @HOME account, as shown in the article: cr123456-a]. They then use this to set up your DHCP details. They know that value. They assigned it to you. They have control over it.
They don't care that your box is named fluffy.warmdeadkittens.org. Imagine if they had to coordinate all the hostnames for their users? "No, I'm sorry, you can't call your box Scruffy, because someone else has already used that name".
And yes, I'm guessing.