scripts/build-pdf.pl: Add comment regarding purpose of this script.