theia-server-proxy-list-extension (npm): This extension provides a basic UI to show all running server proxies
Keywords: theia-extension|jupyter|jupyter-notebook|rstudio|theia-ide