Report an issue with io.github.mgaruccio/openapi-navigator