Was Boris Johnson’s win bad for Democrats? Not quite