On Mon 07 Aug 2023 at 15:19:49 +0200, B.M. wrote: > Dear all, > > I just dist-upgraded my Raspberry Pi from buster to bookworm, and while What is the exact name of the OS are you using? -- Brian.