This morning I deployed a new search page, with instructions on how to use
search properly. Check it out!
Search is important. If you can't find what you're searching for, it's
considered a bug. Send an email to this list or to me directly with the paper
you are trying to find, and I will fix it.
Also, the search instructions could probably use some improvements. If something
isn't clear, let me know and I will fix.
Thanks and have a good weekend!