From 9e77dd5abd1130a43e07fa0e2ecce07e88062ec8 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Thu, 27 Feb 2025 20:16:03 +0100
Subject: [PATCH] attempt to fix Getting Started

---
 getting-started.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/getting-started.md b/getting-started.md
index 168c8bde..d4c901fb 100644
--- a/getting-started.md
+++ b/getting-started.md
@@ -7,8 +7,7 @@ slug: getting-started
 
 ## Web Interface
 
-<p>
-<s>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).~~
 
 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/).