Many thanks to @jbrummer for incorporating highlight.js and pdf.js... the effect of these changes is huge!
This MR is a potential additional enhancement to view-source that adds line numbers to the source via the highlightjs-line-numbers.js plugin.
highlightjs-line-numbers.js