No JavaDoc is released for artifact io.vertx:vertx-lang-kotlin:4.5.13. Please try other versions.

Owner of the project? Troubleshoot following things:

• Retry this version. Sometimes it's just a matter of time to pick up new versions.
• Is the vertx-lang-kotlin-4.5.13-javadoc.jar actually distributed to either maven or bintray?
• Does the vertx-lang-kotlin-4.5.13-javadoc.jar file contains an index.html in the extracted root folder? (you can rename .jar to .zip to extract the file)

report to us if you tried everything but still doesn't work.