Hat tip to Grant Leighty for making me aware of this last week. I checked with the venue today, and they noted that masks are optional in our meeting space. They’d prefer folks wear masks in the walkways and foyer, though. As always, feel free to wear a mask if desired. We will have sanitizer as well in various locations.