add Pygments.