I have also seen that this user has a very doubtful history on the platform. Muting such users on the first warning is a better option rather then allowing them with a warning (as this thing can effect the newcomers as well).

While, we should warn only those users who are new to platform and do not know the basics of content etiquette. In this case, muting him is the best option.

Great job, let's join our hands to make the platform neat and clean 🤝