All these "have died"[1] and yet Claude the alligator "passed away". RIP.

[1]: https://hn.algolia.com/?q=has+died