docs: def week_to_datetime(iso_year, iso_week):
      "datetime instance for the start of the given ISO year and week"
      gregorian = iso_to_gregorian(iso_year, iso_week, 0)
      return datetime.datetime.combine(gregorian, datetime.time(0))