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