static void loadBinaryPageToFile_userAgent(S url, File f, S userAgent) {
  loadBinaryPage_extraHeaders.set(
    litmap("User-Agent" := userAgent));
  loadBinaryPageToFile(url, f);
}