On Fri, Dec 30 2022, Konomi wrote: > I just did another round of updates and rebooted and could not > reproduce the bug so I leave it to more experienced users to determine > what should be done. Looks like this was fixed by console-setup 1.214 for #1027247