can anyone tell me if there is a search function connected to the get_iplayer mailing list archives? I want to search the archives for info but all I can find so far is this: http://lists.infradead.org/pipermail/get_iplayer/ which imho is not much help.