Flagged Out-of-Date Comment: vertx

MarsSeed flagged vertx out-of-date on 2024-01-23 (UTC) for the following reason:

Current source is missing. Latest release is 4.5.1 (Dec 13, 2023).