We only want to exclude the vendored PDF.js code from Prettier formatting. The
other small scripts in dev-server/static/scripts/ should be formatted.