pygments option deprecated, using highlighter option instead
Merge pull request #485 from peterkokot/patch-1

Pygments option deprecated, using highlighter option instead