OK, I decided to try the Fresh Start. As instructed, I opened Windows Security, chose Device performance and health, and clicked Additional info under Fresh start. This opened thispage in my browser. This page told me to...
Under Fresh start, select Additional info, and then select Get Started to start the process.
But there is no Get Started option visible anywhere.