Update benchmark in light of “Pandoc” → “John” renaming.