I need to get a working custom editor in the web version of Theia — accessible from another host. ( Let forget about all security issues for now. ) I tried using nginx reverse-proxy, docker images, ...