Renamed terminal themes.