Comment by baruchthescribe

Whoops. Hmm, I thought you could edit HN comments but obviously not.