> I honestly wish they'd take names off the comments too
I have seen familiar (absolutely not famous) handles from IRC on HN on two occasions. Made me happy. I can't turn this into a more rational point, though.
Names are helpful iff high-karma users help reinforce pg's goals for the site. In my experience that is the case, and the site provides a higher-than-average quality of discussion.