Hmm..., looks like there's also a XMPP group on loadaverage that was created about midway between those two points: https://loadaverage.org/group/1647/id

So *that's* where everyone went...!