This doesn't look like it harms anything if the notifications are already set up, but is this really necessary? If so, maybe change the comment to be something like:

```
    // Workspace notifications may not be setup if …, so make sure they are setup.
```