Why are there so many massive binary files included in the RI source tree? Is there any effort underway to extricate these files into a more appropriate location? Mixing binary and source flies like this is causing me a great deal of sadness. I like to generally reduce my sadness while correspondingly increasing my joy. Any chance this is in progress or being thought about?
While your little checkout script is helpful in some respects, it doesn't work when someone tries to use git with the repository. This is probably a futile request, but if I don't ask it'll probably never happen.