What documented protocol or API does WebSDR use to stream audio over the internet?
I'm interested in capturing a WebSDR audio stream using a small embedded device which has lots of audio DSP capability, good internet access (TCP/UDP network sockets, raw http, etc.), but no (HTML/JS) browser or Java/JVM runtime.