Do you even know what HTML5 is? HTML5 doesn't enforce the use of header, section, article and all of the other tags. The tags you mention are merely for semantically marking up content and are block level elements like DIV's. The fact that Grooveshark is using things like HTML5 audio and whatnot without the reliance on 3rd party plugins like Flash to me is what HTML5 is all about.