And that’ll do it, for real this time. Barring a major surprise, that was the last council meeting of the 2018-2022 term. We laughed, we loved, we learned, we lamented. First meeting of the next term is November 23.