I suspect that is quite likely. I can't check as I only run the lite versions.I do suspect that all these are included in the "Full" raspbian install?
BTW, it's "Raspberry Pi OS" (or "RaspiOS" or "RPiOS" or similar). The OS was renamed a few years ago. The 32-bit version still uses packages from the Raspbian servers, but the 64-bit version uses Debian. Calling both "Raspbian" confused matters.
Statistics: Posted by rpdom — Sun May 11, 2025 5:00 am