In 2017, what did Twitter do to its 140-character limit on tweets?
Double it
Increase to 200
Halve it
Reduce it to 15