New No sound via bluetooth on Xiaomi 13 MIUI 14.0.23.9.18.DEV

[dgtal1]

I've got a major issue with sound (no sound at all), which I described here: https://xiaomi.eu/community/threads/no-sound-via-bluetooth-on-xiaomi-13-miui-14-0-23-9-18-dev.70339/

Can anyone test the sequence on another device (ideally Xiaomi 13) running the DEV ROM?