The first half had me. I could sort of buy Vnix and Unix. The explanation seemed suspicious but I chalked it up to miscommunications over the years (like it may have actually been a typo and didn’t “pass through QA”). But I was pretty sure Linux was “Linus’s Unix” or something.