Vladimir_Nesov comments on A corpus of our community’s knowledge