Rename "Print" as "PDF"#527

Because the printer icon makes clear they can print, changing the label to PDF would help readers understand they can use it to download the page, too.

@Mary Connor I was considering having a separate download button that will attempt to download in the original format, otherwise fallback to PDF.

Would that satisify this requirement, or are you looking for the same current functionality just renamed from “Print” to “View PDF” or similar?

Oh, that’s fine! Thanks!