@hankg I am ignorant on the details, but if it happened today, we probably won't know right away unless we get all 20,000+ admins to chime in on their info.
But if it's been a few days, there's some bots we can look at that watch user activity. There's been a moderate uptick for the past 1.5 weeks.