SimpleMRS highlighting uses Pygments now.