From the article: "If an alligator either digests or kills a person it's a state law through Florida Fish and Wildlife that it be destroyed, so the alligator will be put in an incinerator or be buried, Tongen reported."
If I'm ever digested by an alligator I hope I'm not still alive.