@joeworkman I was around for the morning, then retreated to my room to work on my talk a bit, watched Rob’s talk, then had an evening thing to go to.