I think that page does a bit of a disservice to AsyncAPI. IIRC it was "OpenAPI" but for messaging.