I don't have numbers, but hasn't modern Gnome been like 90% funded by Redhat and other corps?