[gsa]

Check out FlashVideoReplacer [1]. It replaces videos with your browser media plugin or can launch it in a separate player. I use it with gecko-mediaplayer and love it!

[1] https://addons.mozilla.org/en-US/firefox/addon/flashvideorep...