[math-fun] Best way to handle large number of pdf files?