highlighter: pygments instead of old syntax