A compact visualization of REST APIs from their Swagger docs