Added Pygments extension