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