Hi! Is there any plans to bring back this tool? As a lurker, I miss searching by myself through in the thread a lot of things which has been discussed early using keywords so I don't need to post a repetitive question. This tool is really helpful to use on big threads like Chi-fi threads, Earbuds Round-up, Etymotic...etc. I've been trying to adapt and using Google but it isn't the same thing as the old tool. Thanks in advance!