So build a better proof/paper/technique search engine?