[akovaski]

Its fairly common to refer to Linux distros as an OS, or even include OS in the distro name (Pop!_OS, NixOS, CentOS). Linux is the kernel, and disros add stuff to make a functional operating system.