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