Sebastian Rahtz - 2013-01-14

i think we are done with this. the <media> element now mandates @mimeType, and doesn't use @type to distinguish formats. we'll see how the public reacts to it...