Open in Chrome and print the PDF as PDF; also removes any editing restrictions while maintaining ability to select text.