[math-dev]

Thanks for noting this. We are so accustomed to reading comments as of a point in time, but their meaning is also impacted by when they are made. In this case, a future historian may draw a different conclusion had they not seen your clarifying post. Whereas now it confirms that the community viewed it as a good thing, and HN also agreed steadfastly.