The only thing I caught as missing was the discussion of matching
on the group
name portion of an address, known as the display name in 821bis parlance.
This was discussed, but not enough interest was shown to support it.
It was decided that this is done by simply using HEADER.