Gururi先生に相談したところ、ディスクユーティリティーの「復元」でできるとの情報をもらった。 で、簡単にバックアップ完了。 バックアップ元とバックアップ先で容量が微妙に違うのが気にはなる。 表記法が変わったというから、そのせいなのかなぁ。