option

programs.gnome-terminal.profile.<name>.visibleName

The profile name.