docs: static String cleanUpTzid(String tzid) {
          Matcher m = HOUR_MINUTE.matcher(tzid);
          return m.matches() ?  // of the form [+-]hh:mm
                  "GMT" +
                          (tzid.startsWith("-") || tzid.startsWith("+") ? "" : "+") + tzid :
                  tzid;
      }