The list didn't tag people. So they didn't get alerted
discord. Thats the only way I know about the account

hence me handling it by informing people directly and immediately, as a good witness should :) not everybody is a rep 72 discord user, as evidenced by the thanks in these very comment threads herein.

Yes, the joke was evident, but read more like a typo at a glance