The Dev-Domains are open domains: anyone can register Dev-Domains. Dev is a surname and a first name as well. People with this name could register Dev-Domains without any problems. The Dev-Domain is meant originally for developers...