Make things JSON. Strings extracted from Pygments