Convert JS page to pygments; nuke prettify assets