No, we shouldn't, and yes, you're overthinking, but I am finding myself inching closer to the GNU argument for the desktop/server OS, as I now not only use phone/Linux, but also a bunch of Kubernetes/Linux, with distroless images. It's all using the Linux kernel, and possibly glibc, but it's not Linux as we know it. The desktop/server OS meanwhile might not have GNU coreutils in some years.
But realistically we've been using Linux as the name for the family of desktop and server OS-es for decades now, and if you need to refer to the Linux kernel you call it "the Linux kernel" or just "the kernel".
Earlier GNU wanted HURD as an alternative to the Linux kernel—same GNU OS, different kernel. What instead is happening is that we're keeping the Linux kernel but replacing the GNU part of the OS.
Generally you just need to give as much information as the recipient needs to understand your message. Excess signals that don't add information are what information theory calls noise.
How does a 36-hour workweek work out to a four-day workweek?
Here in Norway everyone in sneezing distance of a union deal has a five-day workweek at 7.5 hours a day, for 37.5 hours in total. (The law says six days at 8 hours; the half-hour difference is in practice lunch, which is your own time with a union deal and the boss' time without. I think we could go down to 7h a day and get an hour of lunch like our neighbours.)