docs: def new_filename(original_filename, new_locale):
      """Returns a filename derived from original_filename, using new_locale as the locale"""
      orig_file = Path(original_filename)
      new_file = orig_file.parent.parent.parent / new_locale / orig_file.parent.name / orig_file.name
      return new_file.abspath()