svoid openFileInBrowser(File f) {
  if (f == null) ret;
  openPlatformBrowser(fileToURL(f));
}