Merge branch '21-serviceworker' of...

Merge branch '21-serviceworker' of gitlab.mpcdf.mpg.de:nomad-lab/nomad-remote-tools-hub into 21-serviceworker
3 jobs for 21-serviceworker in 1 minute and 5 seconds (queued for 4 seconds)