Direct PDF export

I would like to propose a way to save files in PDF format directly.

An alternative to this could be a plugin or a button that exports the document to PDF.

I’ve been using Onlyoffice for a short time and I’m loving the easy-to-use interface.

@martonio :wave:

Please describe in more detail the problem you encountered or why you want to add such a feature?