[hlsiira]

Yeah, it's very similar to the Theia IDE, but it's easier (last I checked which was a year ago) to self host with authentication and I think has a much smaller form factor, both on the server and the client.