Add FIXMEs noting that we must remove (not only add the new-) provider/receiver from the synchronizers when models are switched in the scopes. This'll require a bit of refactoring in the synchronizers, so is out of scope for this particular branch.