I read those and my conclusion was that there is no indication that email from the server is affected (other than in performance terms). Dave's issues with email are a) a separate thing and b) presumably resolved with a restarted server, so why would forum email still be affected?
If TPTB don't want to know about notification issues that's fine, and they have only to say they are aware, or don't care, and it's done. If you're not speaking officially on behalf of them then you are potentially causing more problems than you think your well-meaning, hand-waving dismissal is solving.