Dark mode, universal 'Undo" gestures touted to arrive in 'iOS 13'