К вашему сведению, я попробовал Миро, и столкнулся с некоторыми странными проблемами преобразования. Мои файлы .ogg были в порядке, но мои файлы .webm были немного вялыми. Они нормально воспроизводились / работали локально, но я получал ошибку с файлом, когда загружал его на свой сервер (он проигрывался один раз, а затем зависал каждый раз после этого).
Мне повезло с Firefogg , которым я без проблем воспользовался.
Однако и Miro, и Firefogg - это больше, чем один файл, клик, конвертирование. Если вы хотите сделать большую партию, вот руководство, которое мне прислал друг от Бретта Терпстры: Автоматизация видеокодов HTML5 . Это у меня над головой ... но, возможно, вам пригодится.