diff --git a/src/plugins/e-acsl/known_bugs/README b/src/plugins/e-acsl/known_bugs/README
new file mode 100644
index 0000000000000000000000000000000000000000..b47adbfd58270055225cb5a4ccf310e47361357f
--- /dev/null
+++ b/src/plugins/e-acsl/known_bugs/README
@@ -0,0 +1,5 @@
+A comprehensive up-to-date list of known bugs is available on 
+
+                           https://bts.frama-c.com  
+
+in the category "Plug-in > E-ACSL".
diff --git a/src/plugins/e-acsl/known_bugs/bts1695_stdio.c b/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
deleted file mode 100644
index 490a1bb351d29fabe90adb6aef46a24b351586ab..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdio.h>
-
-int main(void) {
-  int x = 2;
-  printf("x = %d\n", x);
-  return 0;
-}