You could block his account or the keywords 'Elon' and 'Musk'. That's the idea anyway, to provide moderation tools to the end user. You should check back when that idea is put into practice more comprehensively by Twitter engineers.