Thanks! One thing that works for me: I just turn the heat all the way off at night (or down to ~12 C to protect pipes, but I don't think it's ever gotten that c

Thanks! One thing that works for me: I just turn the heat all the way off at night (or down to ~12 C to protect pipes, but I don't think it's ever gotten that cold inside). I just use more bedding if I need it - I'm generating 37 C, much warmer than desireable, so I just need to trap enough of that heat. Mornings are delightful, and my body retains the nighttime heat from the bedding (in its thermal mass, I suppose). Usually I don't turn on the heat until sundown.