Hmm "hey google play BBC Radio 4" has stopped working... apparently other BBC stations are fine, just not this one. It must be just a bug, not by design, and other people are having this problem so hopefully with a lot of whinging on the internets (google must surely read everything) it will be fixed.