Addon for Firefox for Android that allows one to change the playback rate of HTML5 videos