sS jlabel_fixImages(S html) { L tok = htmlTok(html); for (int i = 1; i < l(tok); i += 2) { S t = tok.get(i); continue unless tagIs(t, "img"); SS params = htmlParams(t); S src = params.get("src"); continue unless isSnippetID(src); pcall { File f = loadImageAsFile(src); params = mapPlus(params, "src", /*f2s(f)*/f.toURI()); tok.set(i, hopeningTag("img", params)); } } ret join(tok); }