その後、再起動したら、ふたたび起動ディスクがTimeMachine仕様に…。
とりあえず困ったことはないので放置してますが、報告まで。