re: #321 ggt

Was there ever a taboo against naming Cats directly?

Dunno.