On Fri, 3 May 2024 00:20:07 +0200 Lorenzo <plorenzo@disroot.org> wrote: > I intend to close this old bug as it is no longer reproducible Yes, please close. The bug is long gone. Ingo