“Twitter actually may be improving its users’ writing, as it forces them to wring meaning from fewer letters—it embodies William Strunk’s famous dictum, Omit needless words, at the keystroke level.”