The time shown by kstars is exactly one hour less than the time of my system. Is this just a feature? Shouldn't the time shown take into account the daylight saving time? thanks, marco