diff -r d22885042ac0 -r 4501548c3e5a web/index.html --- a/web/index.html Tue Oct 22 17:47:08 2013 +0200 +++ b/web/index.html Tue Oct 22 18:16:12 2013 +0200 @@ -85,6 +85,8 @@