GNOME’s File Manager Will Be More User-Friendly