Adjusting description of Spring-openapi in IMPLEMENTATIONS.md based on pull request suggestion