CosEventChannelAdmin_ProxyPushConsumer(3erl) on Linux

The text 4f55be3a2cd9, as Debian 9 (Stretch) shipped it. The page shows this text now.

This module implements a ProxyPushConsumer interface which acts as a middleman between push supplier and the event channel.