The problems related to the MIXUPDATES option have been fixed; a new snapshot is online [1].

Best,
Christian



On Sun, Aug 14, 2022 at 1:54 PM Christian Grün <christian.gruen@gmail.com> wrote:
Hi Sebastian,

Thanks for the observation. I’ve created an issue to track this down [1].

Best,
Christian