That’s good news. I wasn’t redirected, and I hadn’t thought scripts alone could damage very much.
Since posting the above a boot scan didn’t turn up any problems.
-Noel