Comment by wsgolfer

FYI, Venning, I don't believe parent is PG. It's a different Paul. PG's user account is https://news.ycombinator.com/user?id=pg