At a glance: What’s in the mini-budget?