the wiki is obviously wrong here. I see 2 options:
I just thought of a third option.
Ask for a list on vger.kernel.org and use its spam filtering, which i expect is pretty good. They seem to host some small lists. irda-users only has 10 subscribers. linux-rdma has 9.
Andrew