Should channel subscription be disposed?

Hi

Suppose there is a ClientPeer class that has a publish Channel. Some object - call it Lobby - is subscribed to publish channels of all ClientPeers with its poolfiber.

Poolfiber's NumSubscriptions increase when Lobby subscribes to new ClentPeer object's channel. However NumSubscriptions does not decrease when some ClentPeer object disposes.

Do you recommend to dispose corresponding subscription in Lobby when some ClientPeer object leaves or it will not affect performance and can be ignored?

Thanks