The search for highlights a larger trend in software documentation. While interactive web help desks (like Intercom or Zendesk) are popular, static PDFs are making a comeback for several reasons: