Why call it "Cppnix"?
A Lix user might well reasonably say they 'use Nix' because they use Nixlang. Thus some people are Nix users but not CppNix users. As Tvix matures, the same will be true of Tvix users.
There's the overall project, the language, and the primary interpretation. It's also why you'll sometimes see nixlang to refer to the language.
Lmao. Won't ever happen.