んーとHigh Sierraって名前を今日初めて認知したんですが？
Sierraは入れてるんだけど普通にアプデのお知らせに応じてosアップデートしてたらHigh Sierraってのになるんですか？
それとも名前でSierraってワードが共通してるだけで別物なんですか？