TEC polarity on IDC connector opposite from Thermostat

[QQ80]

The TEC polarity of the IDC connector for the temperature regulator is opposite from the one on the Thermostat.

Thermostat:

Zotino:

This is probably because Zotino's layout was based on the Thermostat's before its TEC polarity label fix. The signals themselves on the Thermostat never changed, only the labels, but the wiring on the Zotino then based its TEC polarity layout on the pre-switched labels, effectively flipping it.

[QQ80]

Here's the difference in PCB view:

Thermostat:

Zotino:

It's not clear to me which should be switched, the Thermostat's or the Zotino's.