I know usage numbers are to be taken with a bucket of salt, but isn't green ubuntu the bigger distro these days?