private static String mangleName(String wikiname) { String res = TextUtil.urlEncodeUTF8(wikiname); return res; }