@evan @josephby Do you know if the number of Gmail users includes accounts that have a custom domain? That is, not a gmail.com email address, but using gmail as underlying service? Not sure how big a difference it would make anyway.