Raspbian is now Raspberry Pi OS

Late spring 2020, the Raspberry Pi project renamed/rebranded the OS Raspberry Pi OS We will continue our efforts to improve their OS/distro – regardless of what the name is…