Any plans to include HTML5 video standards? (I'm really surprised that none of the popular video conversion tools support these formats! Why is that?)