iOS 13: Dark Mode, detachable panels, Safari and Mail upgrades, undo gesture, volume HUD, more