アップデートすると何かとアドオンやらテーマが使用不能になるので、見送り見送り気づけば18.0.1のままやり過ごしていたが（特に困ったことはない）、そろそろ腹をくくるべきだろうか。