Does iOS13 have any provision to set the default notification tone, or set the tones individually on apps that otherwise don't set them? "Tri-tone" has been plaguing us since, what, iOS4? Why we can set the sound for what happens when we AirDrop someone, but not differentiate between my stock...