Music Disc stops In-Game Music when played

When playing music discs, the in-game music should pause (it can fade in and out before and after the music disc begins playing) so that players won’t have to manually turn down music in sound settings, then turn it back up after the music disc ends. I think this would be a great small detail in this game because the Minecraft community loves the music discs, and would greatly appreciate this small fix :)