On 2026-01-14, <tomas@tuxteam.de> <tomas@tuxteam.de> wrote: > > You just have to reboot the browser. That's enough trauma. A kernel upgrade requires a reboot of the system, then. How traumatic!