A valid point but the way round this is to set the main thermostat to the highest temp you would ever want the house to be and have the schedule to 24 hours or just the primary heating hours of the day.
I say this so those in rented accommodation don’t think they miss out on this fun. You can swap TRVs out with no plumbing skills and you don’t need to worry about what primary thermostat you have.