I agree. Revealing the real name would have been doxing. Finding associated information would be trivial.

The harder question is when doxing is justifiable. Maybe it can arguably be self-defense. But even then, consequences are typically disproportionate. And there's no process for trial, opportunity for rebuttal, judgment by neutral third parties, etc.