OpenAPI spec: Health endpoint uses 'healthy' field but spec documents 'health'

[Bafbi]

The OpenAPI specification incorrectly documents the health endpoint response field.

Issue Details

Spec location: luckperms-openapi.yml:2110

• Documents field as health

Actual implementation: src/main/java/me/lucko/luckperms/extension/rest/bind/HealthSerializer.java:43-49

record Model(boolean healthy, Map<String, Object> details) {
    static Model from(Health health) {
        return new Model(
                health.isHealthy(),
                health.getDetails()
        );
    }
}

The serializer explicitly uses healthy as the field name, which is what the API actually returns.

Request

Update the OpenAPI spec to use healthy instead of health to match the implementation.