removeEventDetector proposal

In the Interface Propagator, belonging to the org.orekit.propagation Class, apart from methods addEventDetector and clearEventsDetectors, it would be useful to have also a removeEventDetector method to remove a specific detector.

This would be useful, for instance, to stop logging certain events that are not of interest once another event occurred or after a certain date.

Thank you,