mate-file-manager-open-terminal: Obsoleted by caja-extensions