Additionally, he's personally posted a statement about it here through that account[0] a day ago. It's definitely not doxxing if he already revealed his identity himself.

[0] https://news.ycombinator.com/item?id=27234542