FlashVideoReplacer https://addons.mozilla.org/de/firefox/addon/161869/ GNU General Public License, Version 3.0 Replaces embedded Flash videos with Quicktime or Windows Media Player compatible videos. I'm a little confused b/c it uses Quicktime/WindowsMedia instead of Ogg.
-- http://gnuzilla.gnu.org
