On 18/06/18 22:44, Waiman Long wrote:[...]> > Sorry, that one is bogus. Please ignore that.> OK, ignoring this should actually "fix" the odd behaviour I was talkingabout.