OSを10.10にしたのは、前の4月だったのか…。変に重くて、あまりいい思い出がないバージョンだった。10.11でよくなっていればなあ。