stoutfellow

I'll keep this in mind. My first reaction was that uninstalling would be a bit drastic, but thinking about it, a) it's unlikely that I'll come to need it during the lifetime of this computer, and b) there are apparently better products on the market anyway. So, maybe.... If it happens again, I may follow your suggestion.