This page has moved to https://mathiasvatter.github.io/cksp-compiler/vs-code-extension/.