This is a placeholder for the subdomain debian.thaios.net