docs: def clean_column_names(df: DataFrame) -> DataFrame:
      """
      Strip the whitespace from all column names in the given DataFrame
      and return the result.
      """
      f = df.copy()
      f.columns = [col.strip() for col in f.columns]
      return f