何年か前にNova LauncherからMicrosoft Launcherに移行したけど、Nova Launcherそんなに使いこなしてなかったから問題なかった。