The actual number of 0.7.0 downloads was 11,678, so I suppose the fact that
most guesses were less than half that (with a tight cluster in the 4000 -
6000 range) is a good sign that we're doing even better than folks expected.
Thanks to everyone who participated in the contest.
Paul
PS: Larry, I'll send a private message to find out where you want your
shirt sent. Congratulations!