I’m traveling for the eclipse, and will not be at office hours on tuesday. I think folks should weigh on on 5.12.1 Agenda/notes https://hackmd.io/A1K8wHo2QaKBycqjRLtaHg