svoid startPlatformFileManager(File dir) {
  S cmd = isWindows() ? "start"
    : isMac() ? "open"
    : isOnPATH("gio") ? "gio open"
    : firstCmdOnPATH_mandatory("xdg-open");
  nohup(cmd + " " + platformQuote(dir));
}