docs: def abbr_month_date_time_str(adatetime):
      """
      Return a date value in the format of
      "Month(abbreviated name) day, 4-digit-year at hour:minute [AP]M"
      """
      return "%s %d, %d at %s" % (adatetime.strftime("%b"),
                                  adatetime.day,
                                  adatetime.year,
                                  time_str(adatetime))