static File urlToFileOpt(S url) {
  if (isFileURL(url))
    ret urlToFile(url);
  else
    null;
}