In the event, it wasn’t necessary. Lo and behold, yesterday, after posting my question, when I left the forum to access DPS Prefs, before I could even click on the Messages tab, the standard update window appeared automatically. Didn’t even have to ask! I also didn’t think twice but followed the automatic download/install routine with no need for a Restart to activate. Working just fine.