Radio stations

Each child node is one station: its name is what you say ("Spiel Radio SRF 3"), the first http(s) line of its body is the stream URL. Add, rename or delete stations freely — this is your data; the gateway reloads it at startup. Prefer DIRECT stream URLs: the speaker's HTTP client may not follow redirects.