// Can probably also use desktopOpen()
svoid startPlatformFileManager(File dir) {
  // Chasing the super weird bug on Linux that starts Stefan's OS when calling this function
  if (isOnPATH("gio"))
    //ret with linux_runGIO("open " + pqO(dir));
    ret with linux_gioOpen(dir);
    
  S cmd = isWindows() ? "start"
    : isMac() ? "open"
    : isOnPATH("gio") ? "gio open"
    : firstCmdOnPATH_mandatory("xdg-open");
  cmd += " " + pqO(dir);
  print("Starting platform file manager");
  //nohup(cnd);
  backtick_verbose(cmd);
  print("Platform file manager exited");
}