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