A belated writeup, which I've decided to backfill (to the day after the event) instead of adding it now.