fn file_name(path: &Path) -> String
A path’s file name, on either separator, so a Windows path reads the same on any host.