Tweets too short? Twitter mulling 10,000 characters: report