My iOS app plays audio from a URL. Most of the time, I want this audio to not mix with other audio played on the device.
But sometimes, I do want to allow the audio t
