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