Probably doesn't matter for re-creating the issue, but that's after doing:
$ sudo apt update
$ sudo apt full-upgrade
$ sudo reboot
$ sudo apt update
$ sudo apt full-upgrade
$ sudo reboot
Statistics: Posted by davethomaspilot — Sat Dec 16, 2023 9:22 pm