Where to report develop.kde.org issues?

I was reading a guide at develop.kde.org and I noticed some formatting issues but it is not clear to me where should I report them.

The Create documentation issue link takes me to a new issue template at invent.kde.org where a red banner tells me to report those issues at bugs.kde.org instead. And while there is a documentation section at the bug tracker I could not find anything related to develop.kde.org specifically.

Am I missing something?

Since it tells you to report it to invent, I think it’s fine to report it there.

While most projects use bugs.kde.org, some do use invent. Unfortunately its not possible to configure the red banner on a per project basis, but it’s global for all of invent. So it show up for projects that use invent instead.