Twitter has finally shared the world’s first publicly edited tweet