Twitter says it is adding an edit button, but not because of Elon Musk