It seems RStudio Server 1.3.947 is a professional version not available to the general public (or am I wrong? I can't find a download link, only a user manual that doesn't contain installation instructions for rstudio server itself). I use RStudio Server to run RStudio in my WSL (which doesn't have a GUI - so I run RStudio in my browser). Is there any other solution for me until Ubuntu 20.04 is supported? Thanks!