As you’re probably aware, D.C. was rocked by a 5.9 earthquake: just serious enough that many evacuated buildings, but not serious enough to keep people from cracking jokes about it on Twitter. Here are some of the better ones: