3 ms·https://www.hnsearch.com/ https://www.hnsearch.com/by drKarl 13y agohttps://www.hnsearch.com/ https://www.hnsearch.com/rSi 13y agoand that is different from using the search option on HN in which way?