@cas I'm too much of a pedant to refer to an operating system as "Linux". Linux is a kernel. An OS could be GNU, SystemD, or even Ubuntu. But as a pedant I don't like the "Linux operating system".

I try to be more mature than I once was so I try not to correct people when they use colloquial terms for their OS's. But Android is Linux and it annoys my pedant heart when someone says it isn't "real Linux".

PostmarketOS is also Linux (though not GNU). I love the term SystemD/Linux.