or the PDF format should be selectable from settings instead. The last couple items you should be concerned about in search are tags and tab filters. Neatly tucked into their own corners of Daily ...