As I explained, nobody is "given a violation" and nobody is disciplined in any way for this.
There are daily internal discussions among the staff. It often goes something like this:
1. How do we handle X?
2. This came up a year ago and here is a post describing what we did.
3. Sounds good... we all agree that is how this case should be handled then?
Then if there is agreement the matter is handled as discussed.
This happens all the time. If we added new rules for every little issue, the rules would be twice as long as they are now (I think they are a little long already).
If a new issue comes up that is a major problem that is causing disruption in the forums, sometimes that will result in a rule addition or change.
But for minor and infrequent issues like this one, it just becomes a policy issue we can refer back to. Like I said, nobody is going to get clobbered over the head over an issue like this. We just resolve it and let the member know about the policy.