While I find the "Lovecraft named the cat what?" hand-wringing a bit tiresome after a while, given that there are in my opinion far more damningly racist things that Lovecraft wrote than just the appearance of a hot-button word in a story that otherwise had nothing to do with race, I do have to give certain props for cleverness to that one Lovecraft-based card game that named the cat card "Tigger-Man". It's both not a wholly unreasonable name for a cat (still a touch odd perhaps, but you can assume the kids were Winnie the Pooh fans), but also extremely "wink wink nudge nudge, if you know you know".