The user should have the choice when exporting. If no annotations exist, the choice of exporting with annotations should not exist. Same for copy to clipboard.