Marty Walsh isn’t gone yet. That’s news to many Democrats