SummaryBot comments on Lessons learned from starting an AI safety university group