That is just about the textbook definition of doxxing. Hunting down the real life information about a person and posting it on the internet. This has blown up

That is just about the textbook definition of doxxing. Hunting down the real life information about a person and posting it on the internet. This has blown up in reddit's face before (boston bomber) and so the site has a very very strict anti-doxing rule. It isn't up to reddit to hunt down that individual, it is up to the police.