[guan]

So it turns out that if you turn the volume all the way down to zero, it pauses playback. And if you turn it up again, it starts playing. I didn’t test whether navigation messages from Maps can still be heard. Not perfect as it takes a few seconds to do when you might need an immediate pause to avoid distraction, but it’s probably good enough for me.