On Tue, Nov 21, 2023 at 08:25:57PM -0500, Alexander Dunlap wrote: > I am so sorry, I tried it again and I can no longer reproduce either :-( This is actually positive outcome :) The fix is now in debian and hopefully in CTAN once I find some more time. Pavel