Raspbian was renamed to "Raspberry Pi OS" on the 27th of May, 2020. That's so recent you can assume that there'll be a whole bunch of naming conflicts and/or co

Raspbian was renamed to "Raspberry Pi OS" on the 27th of May, 2020. That's so recent you can assume that there'll be a whole bunch of naming conflicts and/or confusion.