<div>Yes, ditch VLC.<br>
</div><div><br>However, gecko-mediaplayer is an unofficial replacement for mplayerplug-in so get that instead.<br></div>