Currently, the default name of the PDF files generated by Collection extension is always "collection.pdf".
They should be changed to the collection's title, so that a user can easily save multiple collections without conflicting names.
Version: unspecified
Severity: enhancement