5/23: a quick virtual meeting

...to conduct some business with colleagues this afternoon.  It was a 15-minute session.  The brevity was especially welcome after 19 hours of in-person meetings over the previous 3 days.  (I'm not complaining about the in-person meetings--they were necessary and often really good.  But they were also exhausting.)