Improve “Worker missing” notifications#8998

fm3 wants to merge 3 commits intomasterscalableminds/webknossos:masterfrom

better-worker-missing-notificationsscalableminds/webknossos:better-worker-missing-notificationsCopy head branch name to clipboard