Does that include game servers, which are mostly Linux?

Don't think so, as far as I can tell they counted machines with steam installed, and you usually don't install steam on a gaming server