Features to Look For in a PDF Reader