Good for industry: Zuckerberg hails Musk for making Twitter 'a lot leaner'