Two comments on the Export to PDF button:
(1) It silently writes the file even when it already exists -- clobbering existing files
(2) The box for the file name is labeled "Export folder:" as opposed to export file. If I used a folder name, would it silently clobber my
whole folder?