[master] remove more references to pygments so it's not even a dependency anymore.

Note that this breaks some functionality, but it's functionality we don't care about.