Even if this is the case—certainly I’ve loaded my share of 300-megabyte PDFs over the years, and there are plenty of documents online that have no business being PDFs—it’s certainly worth admiring how much the format has done to digitize and protect our collective knowledge. In ...