How are labels merged so that filters are included as well?
So that Alice and Bob instead are directed to Carol, for example. Crucially, any filters for Alice or Bob will now work with Carol instead. Asked differently, how are the filters merged?