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.
Archive conceptually is very different than what it used to be. the archive button at the bottom of messages does not cause any sort of notification now, I fixed it.