2020/08/06日(金)に到着。↑HDMIが復帰しない†スリープ後にHDMIが復帰しない事がある不具合。他の環境でも頻発しているらしい。しかたないのでType-C-DisplayPort変換ケーブルx2を使ってしのぐ。2012で使っていたUSB3ケース(ORICO)が使えない。一応認識しているのだがバックアップが完了しないのだ。玄人志向のKURO-DACHIだと大丈夫だった。Type-CのケースとType-Cのハブを購入したのでそれで様子見。