I've done some more fixes to ogv.js to perform *much* smoother on slower machines by running the decoders in Web Worker threads. If there's no objection, I'm going to land ogv.js (and a number of smaller fixes for media playback) into TimedMediaHandler later today.
ogv.js is a JavaScript compatibility shim for Ogg and WebM video in Safari and IE/Edge which don't support free codecs natively. (IE/Edge on desktop can use native WebM components if you install them manually but still lack Ogg audio support.) This replaces the old Cortado Java applet that no longer works on most current computers.