May 31, 2018 Ok, WWDC folk, what’s happening on Tuesday? It would be nice to hang out with some folks.