Em vez de abrir o arquivo .pdf diretamente, selecionei "annotate pdf" no menu "file". Isso abriu uma caixa de diálogo que me permitiu escolher o arquivo para editar. Feito isso, a exportação como .pdf resultou no arquivo completo - original e edição - para ser visualizado.
(Deixando isto aqui, caso alguém mais encontre este problema.)