One of the more jarring experiences you’ll encounter when updating your iPad to Apple’s iPadOS 13 this fall—including having to call it that from now on—are the slightly smaller icons now gracing you