htdocs: Switch to prettify JS for code highlighting.