Do We Have Elon Musk to Thank for a Twitter Edit Button?