> > > > I find 98M in a clean checkout. (69M of that belong to the docs already).
Wow. I had no idea the docs were that much of it. > > maybe we should move out the docs entirely -1 Putting any extra obstacles in front of anyone writing a doc is unwise. I don't honestly think anyone minds checking out the repo at the current size. Have we heard complaints?