1. Using Auto-Submitted to avoid loops -- and, therefore, the risk of
loops if we send notifications for auto-submitted messages -- is
sufficiently important that the current "MUST NOT" text should stay.
I vote for this. It's simple and effective, exactly how loop avoidance
should be.
Michael