I exaggerate for comedic effect. I think the rule of thumb is that dangerous nuisance animals are generally trapped or tranquilized where convenient, but animals that have attacked a person are usually killed, even if that means hunting them down. It’s not the worst policy, really, if the species is not endangered. In this case I think there was a good argument that the animal was panicked and trying to escape, not actively developing a taste for education staff.
And I do remember that a while back a jogger was killed by a mountain lion, and so authorities hunted down and shot the mountain lion, but then found that she had two cubs, so they took them in and set up a donation fund to support them. I remember this because I remember Rush Limbaugh apoplectic about the fact that the jogger, coincidentally, had two children, and the fund to support the cubs had an order of magnitude more money than the fund to support the kids. But fair enough, the cubs were way more cute.