Comment Comment by a_p His username here is rtm: https://news.ycombinator.com/user?id=rtm parent a_p 9 years ago
