Last time I checked - actually yesterday - the HTML5 is only used for the UI part. The audio is still done in Flash, maybe for the sake of DRM. I hate it, because I have my Flash plugin removed. I have to open Chrome just to use Grooveshark.