No JavaDoc is released for artifact io.vertx:vertx-ext:13. Please try other versions.

Owner of the project? Troubleshoot following things: report to us if you tried everything but still doesn't work.