[engi_nerd]

pdf.js is disabled, too, so no more easy opening PDFs in the browser if you apply these tweaks.