Or, as others have already noted, it's only about 15k and the repo includes tools and test programs.