static S uploadWebPage_userAgent(S url) {
  S text = loadPageWithUserAgent(url, defaultFakeUserAgent());
  if (text.isEmpty()) ret "";
  ret ntUpload(programID(), "Contents of " + url, text);
}