They really should just do a generalized version of what Safari does -- call out to Quicktime / DirectShow / GStreamer, but they'll never do that, because it would invalidate their efforts to shove OGG down people's throats.

Barring that, they should do what Chrome does -- link in a normal copy of ffmpeg that's built without most of the codecs by default.

Instead, they link directly with liboggplay. You'd have to significantly fork Gecko in order to support anything but Vorbis and Theora in OGG containers. It reminds me of the way Stallman designed GCC's internal representations to be impossible to interface with externally.

If you're going to wank about respecting patents and copyright licenses, let them be enforced by the legal system -- don't do it by writing obnoxious code.