svoid genericUI_openFile(File f) {
  appendToMechQ_withDate("User actions", "User clicked on file " + f2s(f));
  infoBox("TODO");
}