Something I vaguely remember reading in an app (maybe it was the "internet radio" app or its description, from https://f-droid.org? https://f-droid.org?) said t

Something I vaguely remember reading in an app (maybe it was the "internet radio" app or its description, from https://f-droid.org? https://f-droid.org?) said there is a maintained list on the internet, of stations, like maybe in xml. (edit: or maybe where I read that was about the "radiotray" linux desktop app.) edit: Ah, another comment has mentioned "Similar database of internet radio stations: https://www.radio-browser.info https://www.radio-browser.info ".