Windows11にしてからたまにROが妙に重くて、CPUの優先度を見てみたら「低」になっていたので「リアルタイム」に変えたらその時点では軽くなったけど、しばらくしたら勝手にまた「低」になっていて困る・・・。うーん。