this is not true: leaving is needed in order to reliably remove the entry from the membership list, and I think we should persist that hard-earned knowledge here so that we don’t forget it.