How can I save a PDF resource?

PDF resources can be downloaded by clicking on a pdf-labeled resource and then clicking on the ‘download’ button under the resource description.