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