Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann) writes:

> Can you make that change and submit a patch?

Most probably I screwed something up, so please have a look at the
code.  It's stolen from nnmail-list-identifiers's usage.