I think it’s sad they couldn’t relocate the alligator and killed it instead. :(
There are so many alligators in Florida, they have to have some way to thin the population, so they allow trappers to kill (and sell) the nuisance gators.
We live on a golf course, and have lots of gators in the area. If a gator becomes agressive (i.e. kills a dog, or doesn’t run back into the water when someone approaches, they’ll usually have them trapped.) Last one trapped in our water hazard (small lake) after it killed a dog measured 10 1/2 feet (it had killed a large dog, a boxer...so it could have easily killed a small child as well.) They become nuisance gators when they lose their fear of man.
Smaller gators they don’t mess with. We had one that wandered into our backyard through the open back gate, and it was only 5 foot...animal control won’t even come out for a gator that size. They just said to leave the gate open and it’d find it’s way back to the lake (which it did.)