There isn’t much else to say, except this: I normally have a rule of “If it touches a human, it dies. And everything that looks like it dies, too, in a mile radius.” Given that the crocodile was minding his own business in a designated zoo environment, the human blatantly provoked the incident*, and the crocodile let the human go… I favor clemency, just this once.
I am not an unreasonable apex predator, after all. The crocodile clearly understands the rules, and it wasn’t the one that broke them…
*Alcohol was involved.