Comment by ChrisRackauckas

They are green too, which means they were just made today. That's a pretty nice HN feature! It shows that there's literally 5 adversarial green sock puppet accounts that were made just to comment in this thread, so almost certainly one person with a grudge who is afraid to make a non-anonymous argument on the merits.