You're welcome! And yes, both Theia and OpenVSX can be self-hosted. Please report issues if something is unclear or doesn't seem to work.