Thread:Project:Support desk/Smart search box?/reply

Actually I found some now (previously I only searched for 1.16 extensions) but they're not as clean looking as the one on this site. So I'd still like to know which one is used here in case anyone knows.