At this point, the project is probably dead. It's currently only barely useful. Should I take it down, or leave it up?
I could see one argument for taking it down being that it might confuse people who are looking for a real IDE and find it somewhat-broken instead.
On the other hand, one argument for leaving it up could be that someone else might take it over.
And maybe there are more things I'm not taking into account. Hence I come to you for advice.
[1]: https://github.com/sdegutis/leviathan