The new archiving option seems to send out an empty email to people that listen to that group message.
also:
Archiving from /users/?/messages DOES seem to move it to Archived, but archiving from t/test-mail-for-support2/7768 (Handle button, then Archive Mesage) doesn’t move it, but does lock it.
Empty as in:
