OSを更新したら、カレンダーに祝日が自動で表示されるようになった！一生懸命、手入力したのに！
キーの色もなんか濃くなった感じ。前のほうが好きだ。