Bookmarklet to change the speed (aka playback rate) of HTML5 Videos