With the holidays coming up and people already being out, we'll be canceling the remaining Working Group meetings, Office Hours, and core team syncs for the year. We'll be resuming core-team syncs on Jan 5th and Working Group/Office Hours on Jan 6th. Enjoy the holidays and see everyone in the new year.