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: http://a.files.bbci.co.uk/media/live/manifesto/audio/simulcast/hls/uk/sbr_high/ak/bbc_6music.m3u8

Anyone have similar or any ideas?

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