Wenn die entsprechenden Optionen angekreuzt sind, kann man das PDF herunterladen und man kann die Anmerkungen herunterladen. Was bisher nicht geht: PDF mit Anmerkungen herunterladen.
Ich habe mir überlegt, dazu ein Feature Request zu schreiben, weil ich das Werkzeug auch häufig nutze, habe es dann aber gelassen, weil ich mir nicht vorstellen kann, wie man die Kommentare in einem PDF sinnvoll darstellen soll. Zur Verdeutlichung: Nehmen wir einmal an, dass die Schülerinnen und Schüler zu einer Seite viele Kommentare geschrieben haben, die finden dann auf dieser Seite keinen Platz und müssten irgendwie auf die nächsten Seiten umbrechen.
Eine anderer Variante wäre es, beim Export der Kommentare jeweils am Anfang der Seite eine Mini-Version der PDF-Seite einzubinden. Diese kann man dann aber wahrscheinlich nicht mehr lesen, weil sie zu klein ist.
Die vermeintlich einfache Angelegenheit ist also etwas komplizierter. Bevor so etwas implementiert wird, sollte man also eine klare Vorstellung davon haben, wie das Endergebnis aussehen soll. Mir ist dies aktuell überhaupt nicht klar.