New: use JS for syntax highlighting, as pygments is not up to the job