> Having preferences profiles strikes me as very unnecessary here. Don't
> get me wrong, I see the benefit of changing some behaviours of the
> terminal for certain uses, but "most users" (assuming the average
> user, some day, is not tech-savy) are not going to care.
> ...
I don't know why gnome-terminal profiles exist, and I'd like to read
descriptions from people who use them of what they use them for.
We should be careful of not trying to design software to cater for
people who are never going to use it anyway.