Hi, I am going to make a new tag (checkpoint67x) today since the previous one is more than a month old. Suggest not to merge-in anything before that. Cheers, Jean-Michel