[deleted] comments on Suggest alternate names for the “Singularity Institute”