Error in HTTP API docs

[BrunoCampana]

Description of the Issue:

• The GET and POST operation descriptions for the /submit_block endpoint are identical on the documentation website.
• Additionally, the endpoint is incorrectly listed as /submit_block instead of /push_tx:
  https://docs.hathor.network/references/core/http-api/push-tx/.

---

Diagnosis:

• The documentation on the Hathor docs website is auto-generated from the openapi.json file in the Hathor core.
• The openapi.json file documents the Hathor core's HTTP API in the OpenAPI standard.
• This openapi.json file is generated automatically via hathor-core CLI.
• For every new Hathor core release, the new version is used to regenerate the openapi.json file via CLI.
• It appears there are issues in this auto-generation process.
• There may be additional errors beyond this specific case.
• This documentation needs to be reviewed by me thoroughly to identify and address any inaccuracies.
• The review has not yet been prioritized due to other pressing tasks.

[jansegre]

I double checked and locally I can generate the openapi.json and then the docs with redoc-cli build openapi.json and both push_tx and submit_block show the correct endpoint, so I'm not really sure how the public docs got generated with an error. I'll talk with you to see if you can generate them locally and see if there's any issues, it might have been a bug on redoc's side.