Frost on a primary mirror? outside temp 1.5 deg Celsius, RH 93%, cooling of mirror ON might mean <0deg C temp