Fedora claims to have as many as 9.5 million users