Attila Lendvai schreef op do 03-03-2022 om 11:58 [+0100]: > +         (delete 'sanity-check) ; TODO It fails, but the package works fine. How does it fail? Maybe it indicates a real problem that merely happens to be difficult to trigger in practice. Greetings, Maxime.