Pool metrics not appearing

[sksamuel]

The docs indicate that there should be worker pool metrics
https://vertx.io/docs/vertx-micrometer-metrics/java/#_vert_x_pool_metrics

But adding micrometer metrics does not expose these:

  VertxOptions()
            .setMetricsOptions(
               MicrometerMetricsOptions()
                  .setEnabled(true)
                  .setMicrometerRegistry(registry)
            )

[tsegismont]

Can you please report this to the corresponding repository with a reproducer? Thank you