docs: public static String generateFilename(
        String topologyName,
        String role,
        String tag,
        int version,
        String extension) {
      return String.format("%s-%s-%s-%d-%d%s",
          topologyName, role, tag, version, new Random().nextLong(), extension);
    }