A station name is untrusted input: building M3U playlists from 52,000 radio stations

Radio Browser is a community-maintained, public-domain directory of internet radio stations. Anyone can add a station. Every week I turn it into plain M3U playlists, one per country and one per genre,