Building a better legal search engine, part 1: Searching the U.S. Code · HackerTrans