https://onlineradiobox.com has the data but doesn't search on it it seems.
Disclaimer I make https://www.radio-addict.com but only retrieve the played song data on demand (never tried to probe all 80k+ radio streams at the same time on my small server, could be fun), but searching on it could be a new feature (it's stored in Elixir genservers :D)
"Listen to a random radio" is the summum of serendipity, man ! #kudos
Thanks.
Wasn't TuneIn providing this search feature before?