diff -r fa473c07d86c -r 21514c6e5e43 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Thu Aug 10 11:35:39 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Thu Aug 10 14:32:13 2017 +0200
@@ -16,7 +16,7 @@
 
 ## Screenshot
 
-![[Isabelle/VSCode]](http://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
+![[Isabelle/VSCode]](https://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
 
 
 ## Notable Features