The recommended way of generating PDF file is to use the PDF printer build into your browser or operating system. When using Google Chrome simply click 'Print Cards' button on 'Print Issues' screen and select 'Save as PDF' as a target printer like on the screenshots below:
General
Content
Integrations
App links