After the warning from the Reddit mods, I told some people at work about the warning and they immediately threw out that Reddit wasn't going to suppress the name of the whistleblower.

They weren't even users of Reddit, they had just known about it passively from other sources.

I was a long time lurker and did not contribute much but I just wanted to say that there are even more supporters out there even past what Reddit was trying to suppress! Keep up the great work!

Thank you!