So what are Web devs going to use for Flash fallbacks for <video> if there's no other codec/player present? Keep as is for now? Or?