On Thu, Jan 19 2023 at 09:51:49 AM +0100, Antonio <antonio at vieiro.net> wrote: > I think I'll create a bug report. Is there any way I can add some > profiling information to the bug report with the MiniBrowser? (using > environment variables or similar?). Not easily, unfortunately.