Where are you getting this information? It doesn't seem to be present in that user's comment history (though maybe my tired eyes ain't seeing it).
Ordinarily this would be called "doxxing" in any case ;)
It's literally at the top of page 2.
And no, that's not doxxing. It's not an identifying detail and it's something someone voluneteered about themselves.
It's perfectly fine to keep people accountable to their comment history and that's not even what's happening here.
Not doxing because I have previously posted it on a public comment related to my Public Id.