I agree it could be advertised better. I'm not entirely sure where that would be.
A mention here would make sense:
https://github.com/arduino#user-content--welcome-to-the-arduino-open-source-community
I remember I had that link in a more comprehensive early draft of my proposal for the contributor guide, but there was a drastic reduction in the content that made the final cut in order to avoid a "TL;DR" reaction from the reader.
Did you look at the second post in that topic?
It is.
You don't need to dig. Just type "forum" in the search field.
Good suggestion. I'll try to remember to do that in the future.