RF WebLab up and running again (22 Nov 2023)

Luckily the issue preventing weblab from being accessible was minor and weblab is up and running again.

Koen Buisman