"Main" review comments not included into PR comment count

[MGChecker]

• Gitea version (or commit ref): 1.13.2, master
• Git version: 2.20.1
• Operating system: Debian 10 (Buster)
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes (provide example URL) https://try.gitea.io/MGChecker/DokuForge2/pulls
  • No
• Log gist:

Description

If you review a pull request, your comment is not included into the total coment count displayed on the PR overview. This is kind of expected, since they seem not to be considered as comments internally.

[MGChecker]

Probably related to #13394.

[noerw]

Quoting myself from #16901 (comment):

This count is also returned in the API, and is likely to be used as a indication how many comments to fetch for an issue / PR. Problem is, the comments API does not return reviews as comments, leading to bad state in API clients.
So either that API needs to be changed as well to return review comments as well (seems also intuitive), or we should just revert the change from #16075

and #16901 (comment):

github does the following:

• in the UI, they count any comment (including code comments) that has a body.
• the /pulls/{index}/comments API endpoint only returns non-review comments
• the /pulls/{index} endpoint returns two separate counters comments + review_comments

this feels like a reasonable solution, that could even be backported

So the question remains whether we want to prioritize having an easy to use API, or if we want GitHub-API-compatibility 🗡️