A codec for safe filenames.