fn explain_upzoning(ctx: &mut EventCtx<'_>) -> Transition<SimpleApp<Session>>