static void loadBinaryPageToFile_userAgent(S url, File f, S userAgent) ctex {
  URLConnection con = openConnection(new URL(url));
  con.setRequestProperty("User-Agent", userAgent);
  loadBinaryPageToFile_noHeaders(con, f);
}