Thanks for showing me OpenVSX, I am now really invested in checking out Theia! Going to be a real game changer for me if I can self-host this, will try it out in Docker ASAP.