sbool loadPageWithUserAgent_verbose;

static S loadPageWithUserAgent(S url, S userAgent) ctex {
  URL tURL = new URL(url);
  URLConnection conn = tURL.openConnection();
  conn.setRequestProperty("User-Agent", userAgent);
  loadPage_anonymous = true;
  if (loadPageWithUserAgent_verbose)
    print("Loading as " + userAgent + ": " + hideCredentials(url));
  ret loadPage(conn, tURL);
}