Radio4000 has a new player
Radio4000 has a new player. It has been deployed to all users since some days and will also allow anyone to embed and customize a player (or many) with any radio on their site.
It is written in javascript, html and css, the code is available on Github, radio4000-player package under npm.