Since we lost a Monday to tech diffs, let’s do an end-of-the-year hangout in the Discord community!