Just like with the set timer which (optionally) ducks the device music while it's on, the audio guidance should also have the possibility to duck the device music.

The option to duck the music should probably be general to keep things simple (all calistree audio elements duck the music, or none does).