Mac miniのOSを、遅ればせながら10.12にアップグレードする。どれだけ遅くなるかな。