Not the end of the world with modern disks I guess, but quite a bit larger than I thought lately.
There are a surprisingly large number of files > 50K in the repo, a considerable number > 100K, and some > 500K. Perhaps we might trim / compress / work on having them available as distfiles, etc. K
