docs: def read_hector_input(csv_file):
      """
      Reads a Hector CSV file and returns it as a Pandas DataFrame.
      """
      df = pd.read_csv(csv_file, skiprows=3, index_col=0)
      df.name = os.path.splitext(os.path.basename(csv_file))[0]
      return df