PDF export of individual documents

In versioned documents under „Show more actions“ (circle with the three dots), there is a new item „Download PDF“. It allows the export of documents as PDF files.