Dane County Board: Meeting of October 19, 2023