docs: def get_start_and_end_times(
      feed: "Feed", date: Optional[str] = None
  ) -> List[str]:
      """
      Return the first departure time and last arrival time
      (HH:MM:SS time strings) listed in ``feed.stop_times``, respectively.
      Restrict to the given date (YYYYMMDD string) if specified.
      """
      st = feed.get_stop_times(date)
      return (
          st["departure_time"].dropna().min(),
          st["arrival_time"].dropna().max(),
      )