I imagine that was hits on the site, which probably includes the "F5" efforts too. I'm sure the foundation will be trying to get numbers out of them too.
I want to work out how far we have got in RPi:
10k = 856 meters of r-pi
[http://www.raspberrypi.org/forum/off-to ... -2/#p17367
I think they may have sold several Everest worth by now (~100k).