gwern comments on How often are new ideas discovered in old papers?