Finished. It looks like that did nothing.

edit: No, wait, previous search results are still cached...

edit 2: I think it's good now.