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.