Hi, I am going to make a new tag, checkpoint67t, most likely later today. The previous one is old, and I thought it would be nice to have one before PR #392 is merged in. Will send an other quick email once it's done. Cheers, Jean-Michel