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