rename rst addon to pygments, fix pre issue