Comment by math-dev

Reading some of these comments, I wonder how much astroturfing goes on HN these days