...so....Because if it has a history of killing a human, it might do it again. They're not super smart. Good hunters, but it has a known bad habit of going after people and associating that with a meal. It isn't worth the risk. Gator population in Florida is perfectly fine.
and how the hell are they going to find out which gator it was specifically.