Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Thu Jul 05 23:08:01 2018 +0200
+++ b/Admin/Release/CHECKLIST	Thu Jul 05 23:21:28 2018 +0200
@@ -17,6 +17,9 @@
 
 - test "#!/usr/bin/env isabelle_scala_script";
 
+- test Windows 10 subsystem for Linux:
+  https://docs.microsoft.com/en-us/windows/wsl/install-win10
+
 - check sources:
     isabelle check_sources '~~' '$AFP_BASE'
     isabelle imports -M -a -d '~~/src/Benchmarks'