docs: private void updateNames() {
      for(Cluster<?> cluster : clustering.getAllClusters()) {
        if(names.get(cluster) != null) {
          continue;
        }
        String sugname = cluster.getNameAutomatic();
        int count = namefreq.addTo(sugname, 1);
        names.put(cluster, sugname + " " + count);
      }
    }