[ANN] New search page

Message ID
Sender timestamp
DKIM signature
Download raw message
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!