PDF annotation export title

planned

#1

Would be great to have the full reference of the paper that is being annotated in the annotation export instead of the file name that is currently displayed as title of the html.


#2

Makes sense. We are going to change that.