Vladimir_Nesov comments on Suggest alternate names for the “Singularity Institute”