Update pygments.json