Fix deprecated pygments config