When exporting hyperlink pointing to a bookmark, the resultant PDF document should contain Link annotation with destination pointing the bookmark's destination.

One important scenario to cover is the ability to import HTML with hyperlinks to anchors in the documents, and export them as working hyperlinks in the PDF document.