Refinements to peer:leave event so that notifications get distributed for unknown peers also