Ability to download PDFs with annotations

[donny-wong]

Currently, PDF downloads do not include user-generated annotations. We would like to implement support for exporting PDFs with all annotations preserved and visible.