Daniel-Constantin Mierla writes: > I don't remember any change recently to sanity, so probably it was > developed like this for long time. Yes, it is not a new bug. When I have extra time, I'll take a look at the code. -- Juha