At https://docs.enthought.com/traits/traits_user_manual/debugging.html, the traits.api version of push_exception_handler is described, but not the traits.observation.api version. The docs should be updated to mention both (preferably making the observation one the more prominent one).
At https://docs.enthought.com/traits/traits_user_manual/debugging.html, the
traits.apiversion ofpush_exception_handleris described, but not thetraits.observation.apiversion. The docs should be updated to mention both (preferably making the observation one the more prominent one).