As a deluge of mournful hashtags trended on Twitter Thursday evening, including #GoodbyeTwitter, #RIPTwitter, and #TwitterDown, Musk was making jokes.