Do we want to add this as submodule?

For the source code highlighting, we have a copy of the highlight.js library under `app/scripts/highlight.js`.