Added a new option to PDF export: the user is able to add a label to the exported image. By default, the label is the file's name, but the user can change it or even take it out (leaving the field blank).