Hi, I am going to make a new tag (checkpoint68a) later today. The previous one is more than a month old and enougth changes have been merged in since. There are few recent "small" PR that could merged soon (e.g., 491, 497 to 500) but might just do that after the tag. Cheers, Jean-Michel