[01:11] <Grantbow> I think that should be a setting in Firefox for how to handle those media types.  I haven't looked for it yet but what you suggest would be better on my system too.
[01:16] <Takyoji> It could just be a simple modification of having it replace the HTML for the flash-based player with the HTML of embedded video.
[01:16] <Takyoji> That's all it would take. Just a little regular expressions within JS, within a plugin, and viola
[01:17] <Takyoji> I think I saw someone with a netbook with Linux Mint or something that I think may have had such a plugin within Firefox