Project to showcase a bug with missing metrics when using setServerRequestTagsProvider with different tags.
Related issue: vert-x3/vertx-micrometer-metrics#173
Deeper analysis showed that this is actually not a bug in vert.x, but an issue with the Prometheus Java-Client (prometheus/client_java#696).