diff --git a/pics/ghci.jpg b/pics/ghci.jpg deleted file mode 100644 index e65fa1b15..000000000 Binary files a/pics/ghci.jpg and /dev/null differ