Plan 9 from Bell Labs’s /usr/web/sources/patch/maybe/page-env-ppi/readme
1: Allow /env/pageppi to set the default PPI for PS and PDF documents. 2: Don't abort if a non-default PPI is specified for graphics files. Just ignore the setting; it's documented to only apply to PS and PDF, anyway.