it’s no bad thing to hear word of a new phone that may keep things a little more sensible – even if the OnePlus 13 Mini spells the end for small Android phones as we once knew them.