That's sort of a relief...I couldn't get any NPR stations to play this
morning, and attempts to play stations through TuneIn failed too.
SiriusXM was working, but only if I asked it to play the channel number
(it claimed to not be able to find channe...