Remove pygments option (deprecated)