書くの忘れてたけど、無事Big Surになりました。
そこまでがっつり使ってるわけでもないし、特に感慨もないけど。