diff -r 3ec2343f2b85 -r 40909e8d6855 integration/edition.html --- a/integration/edition.html Thu Nov 08 18:24:47 2012 +0100 +++ b/integration/edition.html Fri Nov 09 18:56:29 2012 +0100 @@ -229,6 +229,12 @@