I'm against doxxing in all of its forms. Privacy's a right and we should protect it, even when it makes it harder to punish the bad guys. So I'm not really mad about the outcome here
I don't know that I'd agree with characterizing this as doxxing; I'd say it's more in line with reporting. Especially considering many of the terrorists involved in this attack are still at large.