static S loadPage_utf8(URL url) {
  ret loadPage_utf8(url.toString());
}

static S loadPage_utf8(S url) {
  loadPage_charset.set("UTF-8");
  try {
    return loadPage(url);
  } finally {
    loadPage_charset.set(null);
  }
}