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