Use images for PDF navigation links
Show document title only in header div
Don't change location when clicking on a private comment in the overview.
Allow to rename files on the fly