Here is a search engine for q12 and the mailing list - it updates every 15 minutes: http://q12.org/ode/htdig/search.html - a