Right now I am running sledgehammer almost continuously and they are not showing up. I'm afraid it's just weird. Larry > On 27 Nov 2025, at 15:32, Makarius <makarius at sketis.net> wrote: > > It still sounds like a serious problem, and I am still busy elsewhere. We do need proper empirical proof / reproducible examples to sort it out.