Edge on Demand: How Should We Pick a New Mayor?

Last time a mayor resigned, City Council selected the new guy. But should we hold a special election this time?