Few aspects of campus life remain unaffected by the coronavirus pandemic—classes are taught virtually, football games are played to empty stadiums, students wear masks to the gym—but despite necessary ...