気の迷いから iOS 13.1.1 に更新してみてしまったが、デレステ、ミリシタともに特に動作は問題なかった (iPhone 7)