An encoding for safe filenames.