Leniency is good, and speaks well of you. I tend toward a zero tolerance policy on sone things - there are other servers, the lesson can be taken with them and applied elsewhere.

But if you’re willing to put in the time to teach, then that is good.