在 Ubuntu 18.04.03（gnome）上意外安装并默认使用 Dolphin 文件管理器？

Question

我最近将运行 Ubuntu 16.04 的系统更新到 18.04。用户刚刚问了我一个涉及“不同”文件管理器的问题，我注意到，系统向用户展示的是海豚文件管理器，而不是传统的 gnome 文件管理器。我没有安装海豚。用户不是系统管理员，也不知道如何安装应用程序。有人知道为什么要在系统上安装海豚吗？我知道海豚与 kde 安装有关，但 16>18 升级是否安装了海豚与 gnome 文件管理器？谷歌搜索没有找到任何结果。

出于安全原因，我试图对意外的应用程序取代其他应用程序保持理性的警惕。