Need a quick reality check on a question re the device element in HTML5. In W3C spec now or not?