fn file_name(href: &str, extension: &str, taken: &BTreeSet<String>) -> String
A file name for an item, from its address: safe on every system, unique in its folder.