Change docs bots to post in a dedicated Mattermost channel
Per this emoji poll, I gather that most people would prefer it if the docs bots would post in a dedicated channel in Mattermost so that the documentation channel is less chatty.
- Create new channel, called "docs-notifications"
- Change all bots to post in that channel instead
- Inform people of this change