Board Thread:Support Requests - Getting Technical/@comment-1398253-20140211233407/@comment-168424-20140213190238

That would add a duplicate search box, right? It wouldn't move it up. Also it wouldn't work if JS is disabled. However, if that is good enough... I guess you could also have some JS to remove the old one.