Pygments support added should we use it