Thanks all. I found out from Microsoft how to start in safe mode and managed to do a system restore from there, hopefully it will be ok now, but I'm certainly not going to try changing the browser again. He will just have to live with it.