Just experimenting, that's all. I didn't realise it was a permanent deletion of the package at first. But, I don't want it anyway. However, all knowledge is useful, and it would be useful to know how to re-install things like this if for example my daughter's laptop were to have stuff removed that she later wanted putting back. Reinstalling Windows 10 seems like using a sledgehammer to crack a nut. There must be an easier way to re-install single packages?