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.