docs: def replace_in_file(filename: str, text_from: str, text_to: str) -> None:
      """
      Replaces text in a file.
  
      Args:
          filename: filename to process (modifying it in place)
          text_from: original text to replace
          text_to: replacement text
      """
      log.info("Amending {}: {} -> {}",
               filename, repr(text_from), repr(text_to))
      with open(filename) as infile:
          contents = infile.read()
      contents = contents.replace(text_from, text_to)
      with open(filename, 'w') as outfile:
          outfile.write(contents)