docs: private int dedup(Tag[] src, int ss, Tag[] dst, int ds, int len) {
      if (len == 0) {
        return ds;
      } else {
        dst[ds] = src[ss];
        String k = src[ss].key();
        int j = ds;
        final int e = ss + len;
        for (int i = ss + 1; i < e; ++i) {
          if (k.equals(src[i].key())) {
            dst[j] = src[i];
          } else {
            k = src[i].key();
            dst[++j] = src[i];
          }
        }
        return j + 1;
      }
    }