Note about KLEE Web being unmaintained

Author: ccadar

getting-started.md

@@ -7,7 +7,11 @@ slug: getting-started
 
 ## Web Interface
 
-Run tiny code examples in your browser with [KLEE web](http://klee.doc.ic.ac.uk/).
+<s>Run tiny code examples in your browser with
+[KLEE web](http://klee.doc.ic.ac.uk/).</s>
+
+KLEE web is not maintained anymore.
+If you would like to take over the maintainer role, please get in touch with [Cristian Cadar](https://www.doc.ic.ac.uk/~cristic/).
 
 ## Docker