Update ex_markup2json.html