It took me maybe 30 seconds of clicking to get to this: https://github.com/leo-editor/leo-editor/graphs/contributors

Doesn't look very dead to me.