idea for audio and video tags in html5

I'm not sure where to submit this idea for an improvement to HTML5 audio, so I'm submitting it here:I've made a web application that lets some people give the URLs of HTML5 audio (usually mp3) and videos for others to view.   But the people who put them up may not know the codecs, or all the details of the video/audio type, even though they supply the media.When they upload the media, I try to play it briefly.  The advantage of this is that I can get stats like "duration".  In the case of videos, I can also get height and width.  But I cannot detect the codec.   I can guess at the media type from the extension (mp3,wav,webm, mp4), but that's not always reliable.It would be nice if you could obtain the codec using javascript from the media that you are playing.Sincerely,Gideon Isaac