EDIT: I bet he awk'd it before the repo split the files up; each is more than 1,400 pages. The total number is likely closer to 3,000.
EDIT: I bet he awk'd it before the repo split the files up; each is more than 1,400 pages. The total number is likely closer to 3,000.