Are you sure all those companies use Debian? I thought Verizon and GoDaddy were using CentOS. Also Google's Debian is customized might not really be appropriate

Are you sure all those companies use Debian? I thought Verizon and GoDaddy were using CentOS. Also Google's Debian is customized might not really be appropriate to still call it Debian.