A WordPress plugin for converting uploaded videos to HTML5 format (h264, webm, ogv) and displaying them with the <video> tag