diff -r bd904d592881 -r c9dc489913af integration/edition.html --- a/integration/edition.html Thu Oct 25 18:52:44 2012 +0200 +++ b/integration/edition.html Fri Oct 26 18:54:20 2012 +0200 @@ -136,7 +136,7 @@