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?