diff -r 097e4023ede3 -r be6c1f9cc258 web/instructions-the-end-etc.html --- a/web/instructions-the-end-etc.html Thu Jan 24 16:28:04 2013 +0100 +++ b/web/instructions-the-end-etc.html Thu Jan 24 16:30:41 2013 +0100 @@ -1,10 +1,11 @@