Raspbian renamed Raspberry Pi OS (32-bit)

From May 2020 Raspbian was renamed Raspberry Pi OS (32-bit)

Raspberry Pi OS is just a naming change to discriminate between Raspbian (the independent open source project) and the 32-bit images that Raspberry Pi builds on top of it.