Audio playback and LibreELEC power save

In my kitchen, I have a Raspberry Pi 3 -based system, running LibreELEC, with an old 1920×1080 computer display with external speakers. I've switched audio output to HDMI and plugged the speakers into the display analog out, as the Raspberry Pi 3 analog output is not very good. I mostly use the device for live television streaming, either from the living room OpenPLi Linux-based digital receiver, or directly from the net. As this old display (like many computer displays, it seems) has HDMI without CEC, my only available choice to get the display to go to power save mode is to use the LibreELEC power saving feature, which I assume pokes the Raspberry Pi GPU directly.

This works just fine for video stuff, the display stays on if I have video playback going on from any source. If the RasPi is left for 5 minutes in the Kodi menu the display switches off and then goes to power save, and can be awoken by any key input. I "prettyfy" the screen saver by setting Shadertoy with a 1 minute delay, so it shows pretty pictures for 4 minutes before the power saving kicks in. Unfortunately, if there is audio playback going on (like, go to Music library and select "party mode") it also seems to consider the device idle, and the display is switched to power save after the same 5 minutes. At that point I of course also lose the HDMI audio.

Would it make sense for the "idle detection" not to trigger while music playback is happening, perhaps having this as a selectable "Settings" option? Would this change need to be made in LibreELEC code, or somewhere in Kodi code?