If a podcast or music is playing, it would be nice if you could have the option to mute notification sounds... Currently it pauses the music and makes the sound, which is really distracting! Facebook messenger has altered its sound so that it still plays, but very softly and in the background (the music doesn't pause). This might be a good way to implement this.