> we don’t have a word for ... the ... distribution
> Until we have a ... word for the ... shell
distribution/distro and shell are exactly the words we have for these things
But OS sounds more impressive/important, so it's a lot more prevalent.
It's really the unix/linux world that stuck hard with these being separate things.
An operating system is a lot more than just the kernel.