Actually, I think he was a councilman, not a former mayor. I think he ran for mayor in Austin and was defeated.
Yeah, I was like did I somehow sleep through a mayor? Wouldn’t be hard to do...