“Key Twitter features, including the '@' symbol for replies, the '#' for grouping topics (hashtags), and the retweet for rebroadcasting, were all invented by users and later formalized by the company.”