Every day it would search; if it found a PDF, it would download it and then it would run some PDF-scraping program, and out would come the text, and it would go on the Internet, and then people could make maps like that.