The requested option is now available via the “File” → “Print .pdf” menu option 
This will prepare a printable version of the notebook which can be saved as PDF using the built-in browser function:
- virtual printer in the drop-down list (Chrome, Firefox)
- dedicated button (Safari)
