Maybe point them to the 2nd defintion, specifically at the one starting with the letter “J”:
This seems like an argument over semantics. If it’s repeatedly been a problem, maybe it’s not worth interacting with the user and may call for: Some updates to blocking and muting