I think this sort of situation is difficult because we all mocked Fred Fuchs for taking stalking and trying to antagonise DSP way too seriously, so if we turn around now and do the exact same to him, there's the change we'll look like a vengeful, autistic mafia if we go too far. I don't think revealing his real name is too far in this situation though.
I'm sure you're referring to my post as the cringey one and to be completely honest, you do have a point depending on how you look at it. I just feel like morally there is absolutely zero reason to protect the guy and keep his name from being public knowledge. He's spent years trying to find out minute details of anybody who displeases him, that's pretty nasty.
As
@Um Oh Ah Yeah says, there's no rule on this forum against doxing anybody unless they're underage, at times people even get doxed just for a single post that upset one specific user. Usually I think it's a really unpleasant and unfair thing to do but in the case of Fred I think his name being exposed at least is justified.
If people have done enough to deserve it, then it's fair game. Whether Fred deserves it or not is up to your own opinion, one that you're more than entitled to have but I think considering what he's done it's bound to happen. I think it should as well but it's okay if you don't