3 ms·US govt ceases fire in legal spat withTwitter to unmask anti-Trump user1 points by a-smith 10y ago