BBC radio streams stopped working [resolved itself]

This happened after updating to latest, but I also rebooted so may be unrelated.

It only seems to be BBC stations. Says ‘unavailable or may have changed’ which is something I’ve seen on and off but a core restart usually fixes. This time they’re determined they’re not going to play.

Maybe the BBC streams changed recently?
An example I use is 6 music:

Anyone have similar or any ideas?

[bizarre, gave it half hour and they came back again. Maybe was an issue at BBCs end]