Update: This setup stopped working after a few firmware updates; there were apparently some software updates after the catalog of internet radio stations broke down. Maybe they also read my bug report about the broken encoding and found my blog post. I didn’t investigate much; superficially it looked like the radio is just ignoring the returned IP address if it’s a local one. Have you ever wondered what your Internet-connected devices are doing behind your back? My internet radio had some...