It would be nice of the Preference Manager Built-In App could either refresh the list of devices / preferences when opened, or at least provide that option as the first thing the user sees. I've been caught out twice recently where I needed to do this. Due to my infrequent use (which I expect is not uncommon), it is highly likely that not all the devices are listed, or the preference settings have changed name or new one's added, but do not appear in the lists shown. And there is no real indication that the information being used is out of date. I'm not expecting some kind of detection mechanism to identify whether anything has changed, just a prompt when opening to run the refresh.