Is it funny that Elon Musk is suing the Anti-defamation League for defamation?