--- a/bin/ls	Fri Jun 12 05:38:53 2015 +0000
+++ b/bin/ls	Fri Jun 12 05:39:18 2015 +0000
@@ -1,1 +1,2 @@
-#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^790887 ; then echo "As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try /bin/ls in private instead."; else exec -a ls /bin/ls "$@"; fi
+#!/bin/bash
+if /bin/ls -id "$@" 2>/dev/null | grep -q ^790887 ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf instead.'; else exec -a ls /bin/ls "$@"; fi