Function std::path_ext

struct String path_ext(const &char p)

The last component's extension, without the dot: "a/b.tar.gz" -> "gz", "b" -> "", ".bashrc" -> "" (a leading dot names a file, not an extension).