I suppose I got some kind of virus on the browser. Do I have to use a special tool or can I delete it manually?