Yeah, I'm positive. There was no user interaction involved: when I came back to my laptop, it was updating, and when the updated completed all the changes I described had been made. Privacy settings had been reset, Edge had become my default browser, and the Edge icon had taken Firefox's place on the taskbar.