Update documentation related to Pygments