ああそうか、レポート採点作業こそ、#Obsidian が向いているのかもしれないなあ。オフラインで使えるし、PDFアノテーションや #Zotero 連携のプラグインもあるし。
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。