Latest version of io.quarkus:quarkus-vertx-http
https://javadoc.io/doc/io.quarkus/quarkus-vertx-http
Current version 0.25.0
https://javadoc.io/doc/io.quarkus/quarkus-vertx-http/0.25.0
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/io.quarkus/quarkus-vertx-http/0.25.0/package-list