Update: this date has changed, and they are now looking at Fri Dec 2. That overlaps with our Holiday Market setup, so we will not be participating as an organization.
Once they firm up the remainder of their plans, we’ll post contact info so that those who wish to participate may do so directly with the organizers.