3 ms·At least it's better than Google Groups search.by moldenke 17y agoAt least it's better than Google Groups search.