Не удается удалить браузер Tor

Недавно я пытался удалить браузер Tor, следуя инструкциям, предоставленным с веб-сайта, но, похоже, Tor не удаляется должным образом. Всякий раз, когда я ищу Tor в Launcher, я по-прежнему вижу запись для него без значка:

Что мне нужно сделать, чтобы полностью удалить Tor?