I imagine there's a few RedHat folks pondering things now.
As a side note, really often we get asked to measure our open-source contributions, or get measured by some sort of analysis of a project. It is always an under-estimate because of all the non-redhat.com accounts that we use.