This being said since we have little bugs on Savannah it is perfectly possible to de-activate the Priority field if a majority of the team members agree to do so. I still think it is a good practice to decorrelate the impact information from the timing information.
ok,
About mailman searching module, it seems that this software is used http://www.namazu.org/index.html.en
As we see it here http://mail.gnome.org/mailman/search
