That seems to be something not covered by the rules

I mean copy-pasting one's own posts, though it shouldn't be welcomed of course. Obviously, a mod should decide on their own what to do in such cases (as the rules explicitly state). Since the forum paradigm looks like using the ban-hammer as rarely as possible (which I totally agree with), I think that a simple warning would suffice (at least, for the first time). I guess this is what has been done in this case. As an aside, don't get too blood-thirsty (remember, karma is a bitch)