JSON encode unicode characters above ACII 128 in a way pandoc likes
Make example work with unicode characters