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