diff -r 4313e6c9969a -r 118057a1093b Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Jul 15 22:09:45 2021 +0200
+++ b/Admin/Release/CHECKLIST	Thu Jul 15 22:14:11 2021 +0200
@@ -15,6 +15,8 @@
 
 - test Isabelle/jEdit: print buffer
 
+- test Isabelle/jEdit: deactivate main plugin;
+
 - test "#!/usr/bin/env isabelle_scala_script";
 
 - test Windows 10 subsystem for Linux: