アップデートを確認していたら、自動で5が落ちてきていて、マイナーアップデートみたいなノリで、あっさり5にされた件。Chromeとの更新競争のせいなんだろうけど、アドオン作者さんにも同じペースを強いるのかなあ。