It seems the document buildbots are not sending emails, and they keep
going back to red.
Given that the server is setup in the same way (-Werror), whenever the
bot is red, means the website is *NOT* updated. It stands to reason
that we can't let that bot go red.
Did we disable them on purpose? Can we go back sending emails?