If I hit a problem in the Default Media Receiver, where should this be reported? I ask because I've reported a possible issue in the issue tracker, but this has been marked as "Not SDK".

https://code.google.com/p/google-cast-sdk/issues/detail?id=499

I guess this raises the issue of what is in the Default Media Receiver and if the source is available anywhere? For audio streams is it just a wrapper around the HTML5 <audio> tag? And does that mean there's the guts of Chrome running on the Chromecast implementing HTML5+Javascript and so my problem is really with Chrome and it's HTML5 support for <audio>?