def encode_file_path(s):
    """Encodes an URL path from internal format for use in disk filenames"""
    # This doesn't change the string.
    # But, if we ever change the internal representation of paths, we'll
    # need to change the 3 functions here that deal with it
    return s