Twitter users thrilled to edit their replies, firm says bug caused it.pdf