To leave a node, perhaps to disconnect or to perform more advanced changes
to the key, the leave message is used. It is the opposite of
join, except that it is not routed. When receiving a leave
message the host sending the message should be removed from any of the
maintained sets. The structure of the leave message is shown in
table tbl:leavepdu.
