docs: def filename_from_path(path):
      """
      Extract the file name from a given file path.
      :param str path: File path
      :return str: File name with extension
      """
      head, tail = ntpath.split(path)
      return head, tail or ntpath.basename(head)