Lorenzo Cavazzi

I fear we don't have any documentation specifically for the Dockerfile, neither for the command line nor for the UI. This part is changing right now, it may be best...

Afaik all the traffic coming out from the UI server goes through the gateway. The one exception is Redis. Should there be more exceptions, we can remove them and keep...

Here is the issue that will fix the UI side [#2888](https://github.com/SwissDataScienceCenter/renku-ui/issues/2888). It requires a few backend adjustments, but they have already been planned and should be ready soon.

Does this require refreshing https://github.com/SwissDataScienceCenter/renku-ui/pull/2134 ?

After digging a bit into the code, I believe it's not currently possible to "force stop" a spawning server. Here are the relevant lines https://github.com/jupyterhub/jupyterhub/blob/1bdc66c75b786c11fb24c13eb281a0dd61fa0a92/jupyterhub/apihandlers/users.py#L443-L457 Would it make sense to...