Hi, I will make a new tag (checkpoint68e) tomorrow, after getting most of the daily testreport output. Probably better not to merge new PR in master until after the tag is made. The previous one is more than a month old so it's time for a new on. Cheers, Jean-Michel