My post is not related to the forum, but it certainly is related to the website, since I was referring to the official documentation on www.arduino.cc. Isn't that the mother website of this very forum?
It is not a programming question either, since I wasn't asking anything about programming: just reporting an issue with the docs.
Apart from "Programming Questions" and maybe "The Bar", the forum categories have always eluded me.