Trump and the company formerly known as Twitter appear to have ended their legal fight over the suspension of the president’s ...