If we're counting the millions of servers that run the Internet, probably a lot more of them than GUI desktop Linux installs.