svoid copyTextFileToClipboard(File f) {
  S text = loadTextFile(f);
  if (text == null) infoBox("File not found: " + f);
  else {
    copyTextToClipboard(text);
    infoBox(nCharacters(text) + " copied");
  }
}