diff -r 69020ce9f172 -r 84532574c209 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Mar 02 16:48:42 2022 +0100
+++ b/Admin/Release/CHECKLIST	Wed Mar 02 20:32:16 2022 +0100
@@ -34,9 +34,6 @@
 - check versions:
     src/Tools/jEdit/jedit_base/plugin.props
     src/Tools/jEdit/jedit_main/plugin.props
-
-- check Isabelle version:
-    src/Tools/VSCode/extension/README.md
     src/Tools/VSCode/extension/package.json
 
 - check funny base directory, e.g. "Test 中国";