Elon Musk’s goal for Twitter is “unregretted user-minutes.” (WSJ) A good idea, but how do you measure that?