Now the HTML5 player fix works for Firefox. Also fixed an issue where the enable auto resolution option were ignored.