Remove deprecated pygments option