Ignoring local news has its downsides. I didn't find out that someone I knew was mayor of Palo Alto until his second term.