No Problem. I think seen the widget before on make your own player page (which I've used because the old flash frontend was so very unstable on linux). And - the switches to HTML5 part - I would only post that if you somehow worked out how to use the html5 <audio> tag, but that has many drawbacks. Thanks so much for the work on the frontend - It's one of the few online music streaming services now that is decently fast and doesn't eat resources on linux.