Search is back!
Jan. 23, 15

This website has a wonderful search function. Except that I, er, removed the search box. It's back now. Enjoy!