listid operator

Just noticed today that gmail supports an operator called listid which can be used to filter mails belonging to any specific mailing list. Just key in "listid:<listname>" to filter all mails sent to or recieved from that mailing list. (Of course, replace <listname> with your mailing list name)