Maintenance completed: Update RStudio server

Message-Id: 202003021142
Time: Thursday 05.03.2020 17:00-17:30
Affected: Users of the RStudio server
Impact: none

The maintenance work has been completed.