Back to pygments for Github Pages