Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Sat Nov 25 16:13:08 2023 +0100
+++ b/Admin/Release/CHECKLIST	Sat Nov 25 16:49:48 2023 +0100
@@ -22,8 +22,6 @@
 
 - test Isabelle/jEdit: deactivate main plugin;
 
-- test "#!/usr/bin/env isabelle_scala_script";
-
 - test "isabelle java_monitor -P pid" with "isabelle jedit";
 
 - test Windows 10 subsystem for Linux: