Huh. I was aware of Bobby but not the rest of it - I guess being part of so many in-jokes does put it firmly on the side of, well, being an in-joke. I just don't trust Kripke entirely to not have weird issues...