Two comments on the Export to PDF button:
(1) It silently writes the file even when it already exists -- clobbering existing files
![Sad :(](https://simcenter-messageboard.designsafe-ci.org/smf/Smileys/default/sad.gif)
(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?