OK, that makes sense. So, to summarise, we should remain silent if `map.removeControl(control)` is called with a control which was not already on the map.