You said several hundred kernel developers, than you said 'nobody knows'...So you did not know when you made the statement... What would you call it a 'Kerry Fact'?
I said nobody knows the exact number. But they have contributed more to the kernel than anyone, even though you attempted to claim they didn't contribute to the kernel design at all. So go ahead and give us the number, if you think you know it, since it will only prove you are wrong anyway.