this is just more rationalizing. to justify doxxing, which is itself essentially stalking (or worse) should be a quite high bar, which hasn't been crossed, even in this situation.
If the troll was threatening life or some other crime, then fine do what you need to do. but the person is just essentially being annoying, that is not grounds to doxx someone. if they do not have the skills to keep out harmful users, thats their own fault, they should implement a captcha or some other tactic.