It's not for all practical purposes public. I'm very tech literate and google-literate, and I have tried multiple times to find his name, and was unable to.
Pure curiosity. I tried it a few years ago, I think because he posted something about keeping his identity secret and I was curious how hard it was to find. Then again with these recent articles I did some basic searching.