A focused terminal internet radio player with fast search, saved stations, themes, visualizers, and resilient playback