動画再生速度をいじるのに使っています。以前はvideo speed controllerというアドオンを使っていたのですが、うまく動作しなくなったのでこちらに切り替えたところ正常に動作しました。