Aaron Gertler comments on EA Leaders Forum: Survey on EA priorities (data and analysis)