- preserve timestamps on profile.d shell scriptlets
    - first cut at making RPM scriptlets failproof for install-info
    - pull up pre-generated PDF docs so that we don't have multiarch
        differences due to document IDs, timestamps, and compressed data,
    - pull up the script to make sure that the PDF matches its source to guard
        against the package maintainer forgetting to update when we move to a
        new release