Mark Zuckerberg praised Elon Musk's push 'to make Twitter a lot leaner'