More than welding a chip from last year’s iPhone Pro onto the smallest iPad - just. The iPad Mini (A17 Pro) is a small but welcome update