theia-port-proxy-extension (npm): Theia extension providing proxying of ports
Keywords: theia-extension|jupyter|jupyter-notebook|rstudio|theia-ide