Oh cool, I think I’ve always just assumed Torvalds was LTT’s last name bc I didn’t know they were different people lol