# Even though one line is very long, it's still hand-editable source code
source-is-missing docs/manual/style/scripts/prettify.js .*