code: def sanitizer(name, replacements=[(':','_'), ('/','_'), ('\\','_')]):
      
      for old,new in replacements:
          name = name.replace(old,new)
      return name
docs: String sanitizer to avoid problematic characters in filenames.