A bit confusing that `<something> Pi` developed two meanings:

- `<brand/line> Pi` as a brand/line of SBCs, with Raspberry Pi being the original

- `<anything> Pi` as a software package targeting Raspberry Pis or SBCs generally