If you have the OpenXR developer tool installed, it also informs you if WMR is not the default OpenXR app on the home tab and gives you the option to change it there. I don’t have a screen shot of that one though sorry, but I did see it once when I was switching between WMR and SteamVR to work out which one worked best for me (WMR won).