City Editor Gregg's 3 favorite San Jose news stories from 2023