No audio after some time, have to reboot

The ‘Audio not working after GPS use’ bug is still there on my Xperia 10 iii with Sailfish flashed on top of Android 13 with 12_4.18v2a blobs.
Stopping pulseaudio and ngfd and restarting them as described by @jovirkku does indeed restore audio.
I also have something like up to 7 apps open, none of them appear to be particularly memory hungry.
Audio loss does not happen after every use of GPS, but frequently.
I also used the script ‘Collect Persistent Logs’ as suggested by @jovirkku. Shall I provide the generated log tarball?