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

It took me maybe 30 seconds of clicking to get to this: https://github.com/leo-editor/leo-editor/graphs/contributors https://github.com/leo-editor/leo-editor/graphs/contributors Doesn't look very dead to me.